Class DisjointCondVar

  • All Implemented Interfaces:
    Stateful, MutableVar

    class DisjointCondVar
    extends java.lang.Object
    implements MutableVar
    Defines a Variable for Diff2 constraints and related operations on it. It keeps current recatngles for evaluation ([[R2, R3], [R1, R3], ...]
    Version:
    4.7
    • Method Detail

      • index

        int index()
      • previous

        public MutableVarValue previous()
        Description copied from interface: MutableVar
        It returns the earlier value of variable comparing to the current one.
        Specified by:
        previous in interface MutableVar
        Returns:
        previous value of a mutable variable.
      • removeLevel

        public void removeLevel​(int removeLevel)
        Description copied from interface: Stateful
        This function is called in case of the backtrack, so a constraint can clear the queue of changed variables which is no longer valid. This function is called *before* all timestamps, variables, mutablevariables have reverted to their previous value.
        Specified by:
        removeLevel in interface Stateful
        Parameters:
        removeLevel - the level which is being removed.
      • setCurrent

        public void setCurrent​(MutableVarValue o)
        Description copied from interface: MutableVar
        It replace the current representation of the value with a new representation. It ignores the store level.
        Specified by:
        setCurrent in interface MutableVar
        Parameters:
        o - value to which a mutable variable is set.
      • stamp

        int stamp()
      • toString

        public java.lang.String toString()
        Description copied from interface: MutableVar
        It returns string representation of Mutable variable.
        Specified by:
        toString in interface MutableVar
        Overrides:
        toString in class java.lang.Object
      • update

        public void update​(MutableVarValue val)
        Description copied from interface: MutableVar
        It updates the value of a mutable variable based on value given as a parameter, the stamp level of current value and stamp value of passed value.
        Specified by:
        update in interface MutableVar
        Parameters:
        val - it specifies the new value of a mutable variable.
      • value

        public MutableVarValue value()
        Description copied from interface: MutableVar
        It returns current value of MutableVariable.
        Specified by:
        value in interface MutableVar
        Returns:
        current value of the mutable variable.