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