Class Literal

Signed integer type used for aspif and solver literals.

Inheritance
System.Object
Literal
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 Literal : IClingoObject

Properties

| Improve this Doc View Source

Value

Declaration
public int Value { get; set; }
Property Value
Type Description
System.Int32

Operators

| Improve this Doc View Source

Implicit(Literal to Int32)

Convert a literal object into the basic type.

Declaration
public static implicit operator int (Literal literal)
Parameters
Type Name Description
Literal literal
Returns
Type Description
System.Int32
| Improve this Doc View Source

Implicit(Int32 to Literal)

Convert a basic type into a literal object.

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

Implements