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