Class Weight

Signed integer type for weights in sum aggregates and minimize constraints.

Inheritance
System.Object
Weight
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 Weight : 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(Weight to Int32)

Convert a weight object into the basic type.

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

Implicit(Int32 to Weight)

Convert a basic type into a weight object.

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

Implements