Class SolveHandle

Handle for solve calls.

Inheritance
System.Object
SolveHandle
Implements
System.Collections.Generic.IEnumerable<Model>
System.Collections.IEnumerable
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 SolveHandle : IEnumerable<Model>, IEnumerable

Constructors

| Improve this Doc View Source

SolveHandle(SolveHandle)

Declaration
public SolveHandle(SolveHandle clingoSolveHandle)
Parameters
Type Name Description
SolveHandle clingoSolveHandle

Methods

| Improve this Doc View Source

Cancel()

Declaration
public void Cancel()
| Improve this Doc View Source

Get()

Declaration
public SolveResult Get()
Returns
Type Description
SolveResult
| Improve this Doc View Source

GetEnumerator()

Declaration
public IEnumerator<Model> GetEnumerator()
Returns
Type Description
System.Collections.Generic.IEnumerator<Model>
| Improve this Doc View Source

Resume()

Declaration
public void Resume()
| Improve this Doc View Source

Wait(Nullable<Single>)

Declaration
public bool Wait(float? timeout = default(float? ))
Parameters
Type Name Description
System.Nullable<System.Single> timeout
Returns
Type Description
System.Boolean

Operators

| Improve this Doc View Source

Implicit(SolveHandle to SolveHandle)

Declaration
public static implicit operator SolveHandle(SolveHandle clingoSolveHandle)
Parameters
Type Name Description
SolveHandle clingoSolveHandle
Returns
Type Description
SolveHandle
| Improve this Doc View Source

Implicit(SolveHandle to SolveHandle)

Declaration
public static implicit operator SolveHandle(SolveHandle solveHandle)
Parameters
Type Name Description
SolveHandle solveHandle
Returns
Type Description
SolveHandle

Explicit Interface Implementations

| Improve this Doc View Source

IEnumerable.GetEnumerator()

Declaration
IEnumerator IEnumerable.GetEnumerator()
Returns
Type Description
System.Collections.IEnumerator

Implements

System.Collections.Generic.IEnumerable<T>
System.Collections.IEnumerable