Class SymbolicAtom

Inheritance
System.Object
SymbolicAtom
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 SymbolicAtom

Properties

| Improve this Doc View Source

IsExternal

Declaration
public bool IsExternal { get; }
Property Value
Type Description
System.Boolean
| Improve this Doc View Source

IsFact

Declaration
public bool IsFact { get; }
Property Value
Type Description
System.Boolean
| Improve this Doc View Source

Literal

Declaration
public int Literal { get; }
Property Value
Type Description
System.Int32
| Improve this Doc View Source

Symbol

Declaration
public Symbol Symbol { get; }
Property Value
Type Description
Symbol

Methods

| Improve this Doc View Source

Match(String, Int32)

Declaration
public bool Match(string name, int arity)
Parameters
Type Name Description
System.String name
System.Int32 arity
Returns
Type Description
System.Boolean

Operators

| Improve this Doc View Source

Implicit(SymbolicAtom to SymbolicAtomIterator)

Declaration
public static implicit operator SymbolicAtomIterator(SymbolicAtom symbolicAtom)
Parameters
Type Name Description
SymbolicAtom symbolicAtom
Returns
Type Description
SymbolicAtomIterator
| Improve this Doc View Source

Implicit(SymbolicAtom to SymbolicAtoms)

Declaration
public static implicit operator SymbolicAtoms(SymbolicAtom symbolicAtom)
Parameters
Type Name Description
SymbolicAtom symbolicAtom
Returns
Type Description
SymbolicAtoms
| Improve this Doc View Source

Implicit(SymbolicAtom to Symbol)

Declaration
public static implicit operator Symbol(SymbolicAtom symbolicAtom)
Parameters
Type Name Description
SymbolicAtom symbolicAtom
Returns
Type Description
Symbol
| Improve this Doc View Source

Implicit(SymbolicAtom to Int32)

Declaration
public static implicit operator int (SymbolicAtom symbolicAtom)
Parameters
Type Name Description
SymbolicAtom symbolicAtom
Returns
Type Description
System.Int32