Class VariableConstraint
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.template.VariableConstraint
-
public final class VariableConstraint extends java.lang.Object
TheVariableConstraint
class describes constraints on a memory variable.
-
-
Constructor Summary
Constructors Constructor Description VariableConstraint(ru.ispras.fortress.expression.Node variable, Value variate, java.util.Set<java.math.BigInteger> values)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Set<java.math.BigInteger>
getValues()
ru.ispras.fortress.expression.Node
getVariable()
Value
getVariate()
java.lang.String
toString()
-
-
-
Constructor Detail
-
VariableConstraint
public VariableConstraint(ru.ispras.fortress.expression.Node variable, Value variate, java.util.Set<java.math.BigInteger> values)
-
-
Method Detail
-
getVariable
public ru.ispras.fortress.expression.Node getVariable()
-
getVariate
public Value getVariate()
-
getValues
public java.util.Set<java.math.BigInteger> getValues()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-