Class SymbolicAtomIterator

Object to iterate over symbolic atoms.

Such an iterator either points to a symbolic atom within a sequence of symbolic atoms or to the end of the sequence.

Inheritance
System.Object
SymbolicAtomIterator
Implements
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.CoreServices.Types
Assembly: ClingoSharp.CoreServices.dll
Syntax
public sealed class SymbolicAtomIterator : IClingoObject
Remarks

Iterators are valid as long as the underlying sequence is not modified. Operations that can change this sequence are Ground(Control, Part[], GroundCallback), clingo_control_cleanup(), and functions that modify the underlying non-ground program.

Properties

| Improve this Doc View Source

Value

Declaration
public ulong Value { get; set; }
Property Value
Type Description
System.UInt64

Operators

| Improve this Doc View Source

Implicit(SymbolicAtomIterator to UInt64)

Convert a symbolic atom iterator object into the basic type.

Declaration
public static implicit operator ulong (SymbolicAtomIterator iterator)
Parameters
Type Name Description
SymbolicAtomIterator iterator
Returns
Type Description
System.UInt64
| Improve this Doc View Source

Implicit(UInt64 to SymbolicAtomIterator)

Convert a basic type into a symbolic atom iterator object.

Declaration
public static implicit operator SymbolicAtomIterator(ulong value)
Parameters
Type Name Description
System.UInt64 value
Returns
Type Description
SymbolicAtomIterator

Implements