public final class IntegerEqualConstraint<V> extends java.lang.Object implements IntegerConstraint<V>
IntegerEqualConstraint
class represents constraints of the kind x == value
.Constructor and Description |
---|
IntegerEqualConstraint(V variable,
java.math.BigInteger value) |
Modifier and Type | Method and Description |
---|---|
IntegerFormula<V> |
getFormula() |
java.math.BigInteger |
getValue() |
V |
getVariable() |
java.lang.String |
toString() |
public IntegerEqualConstraint(V variable, java.math.BigInteger value)
public V getVariable()
public java.math.BigInteger getValue()
public IntegerFormula<V> getFormula()
getFormula
in interface IntegerConstraint<V>
public java.lang.String toString()
toString
in class java.lang.Object