Class ConstantInt

A LogicInt which produces a constant value.

public sealed class ConstantInt : LogicInt, ILogicInt, ILogicVariable

Inherited Members: LogicVariable.ToString()

LogicVariable.FALSE

LogicVariable.TRUE

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

Constructors

public ConstantInt(int value)

public readonly int value

The name of the variable. Should match its usage in logic.

public override string Name { get; }

The terms which could possibly alter the evaluation of the variable.

public override IEnumerable<Term> GetTerms()

public override int GetValue(object? sender, ProgressionManager pm)