Class Signature

Represents a predicate signature.

Signatures have a name and an arity, and can be positive or negative(to represent classical negation).

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

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(Signature to UInt64)

Convert a signature object into the basic type.

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

Implicit(UInt64 to Signature)

Convert a basic type into a signature object.

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

Implements