public final class VariableConstraint
extends java.lang.Object
VariableConstraint
class describes constraints on a memory variable.Constructor and Description |
---|
VariableConstraint(IntegerVariable variable,
Value variate,
java.util.Set<java.math.BigInteger> values) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.math.BigInteger> |
getValues() |
IntegerVariable |
getVariable() |
Value |
getVariate() |
java.lang.String |
toString() |
public VariableConstraint(IntegerVariable variable, Value variate, java.util.Set<java.math.BigInteger> values)
public IntegerVariable getVariable()
public Value getVariate()
public java.util.Set<java.math.BigInteger> getValues()
public java.lang.String toString()
toString
in class java.lang.Object