Class VariableConstraint


  • public final class VariableConstraint
    extends java.lang.Object
    The VariableConstraint 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()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • 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 class java.lang.Object