Class Symbol
Represents a symbol.
This includes numbers, strings, functions (including constants when arguments are empty and tuples when the name is empty), #inf and #sup.
Inheritance
System.Object
Symbol
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 Symbol : IClingoObjectProperties
| Improve this Doc View SourceValue
Declaration
public ulong Value { get; set; }Property Value
| Type | Description |
|---|---|
| System.UInt64 |
Operators
| Improve this Doc View SourceImplicit(Symbol to UInt64)
Convert a symbol object into the basic type.
Declaration
public static implicit operator ulong (Symbol symbol)Parameters
| Type | Name | Description |
|---|---|---|
| Symbol | symbol |
Returns
| Type | Description |
|---|---|
| System.UInt64 |
Implicit(UInt64 to Symbol)
Convert a basic type into a symbol object.
Declaration
public static implicit operator Symbol(ulong value)Parameters
| Type | Name | Description |
|---|---|---|
| System.UInt64 | value |
Returns
| Type | Description |
|---|---|
| Symbol |