Class SolveResult

Captures the result of a solve call.

Inheritance

System.Object

SolveResult

Inherited Members

System.Object.Equals(System.Object)

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

System.Object.GetHashCode()

System.Object.GetType()

System.Object.MemberwiseClone()

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

System.Object.ToString()

Namespace: ClingoSharp

Assembly: ClingoSharp.dll

Syntax

public sealed class SolveResult

Properties

IsExhausted

true if the search space was exhausted.

Declaration

public bool IsExhausted { get; }

Property Value

Type	Description
System.Boolean

IsInterrupted

true if the search was interrupted.

Declaration

public bool IsInterrupted { get; }

Property Value

Type	Description
System.Boolean

IsSatisfiable

true if the problem is satisfiable, false if the problem is unsatisfiable, or null if the satisfiablity is not known.

Declaration

public bool? IsSatisfiable { get; }

Property Value

Type	Description
System.Nullable<System.Boolean>

IsUnknown

true if the satisfiablity is not known.

Declaration

public bool IsUnknown { get; }

Property Value

Type	Description
System.Boolean

IsUnSatisfiable

true if the problem is unsatisfiable, false if the problem is satisfiable, or null if the satisfiablity is not known.

Declaration

public bool? IsUnSatisfiable { get; }

Property Value

Type	Description
System.Nullable<System.Boolean>