Class ModelType

Enumeration of the different types of models.

Inheritance

System.Object

Enumeration

ModelType

Implements

IEnumeration

System.IComparable<Enumeration>

System.IEquatable<Enumeration>

Inherited Members

Enumeration.Value

Enumeration.GetValue(Int32)

Enumeration.Parse(String, Boolean)

Enumeration.Parse(String)

Enumeration.Parse<TEnum>(String, Boolean)

Enumeration.Parse<TEnum>(String)

Enumeration.TryParse(String, Boolean, Enumeration)

Enumeration.TryParse(String, Enumeration)

Enumeration.TryParse<TEnum>(String, Boolean, TEnum)

Enumeration.TryParse<TEnum>(String, TEnum)

Enumeration.Equals(Object)

Enumeration.GetHashCode()

System.Object.Equals(System.Object, System.Object)

System.Object.GetType()

System.Object.MemberwiseClone()

System.Object.ReferenceEquals(System.Object, System.Object)

Namespace: ClingoSharp

Assembly: ClingoSharp.dll

Syntax

public sealed class ModelType : Enumeration, IEnumeration, IComparable<Enumeration>, IEquatable<Enumeration>

Properties

BraveConsequences

The model stores the set of brave consequences

Declaration

public static ModelType BraveConsequences { get; }

Property Value

Type	Description
ModelType

CautiousConsequences

The model stores the set of cautious consequences

Declaration

public static ModelType CautiousConsequences { get; }

Property Value

Type	Description
ModelType

Name

Declaration

public string Name { get; }

Property Value

Type	Description
System.String

StableModel

The model captures a stable model

Declaration

public static ModelType StableModel { get; }

Property Value

Type	Description
ModelType

Methods

CompareTo(Enumeration)

Declaration

public override int CompareTo(Enumeration other)

Parameters

Type	Name	Description
Enumeration	other

Returns

Type	Description
System.Int32

Overrides

Enumeration.CompareTo(Enumeration)

Equals(Enumeration)

Declaration

public override bool Equals(Enumeration other)

Parameters

Type	Name	Description
Enumeration	other

Returns

Type	Description
System.Boolean

Overrides

Enumeration.Equals(Enumeration)

GetNames()

Declaration

public static IEnumerable<string> GetNames()

Returns

Type	Description
System.Collections.Generic.IEnumerable<System.String>

GetValues()

Declaration

public static IEnumerable<Enumeration> GetValues()

Returns

Type	Description
System.Collections.Generic.IEnumerable<Enumeration>

ToString()

Declaration

public override string ToString()

Returns

Type	Description
System.String

Overrides

System.Object.ToString()

Implements

IEnumeration

System.IComparable<T>

System.IEquatable<T>