Package org.jacop.core

Class MutableDomain

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static boolean debug
      It specifies if debugging info should be printed out.
      (package private) int index  
      (package private) Store store  
      (package private) MutableDomainValue value  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) int index()  
      MutableVarValue previous()
      It returns the earlier value of variable comparing to the current one.
      void removeLevel​(int removeLevel)
      This function is called in case of the backtrack, so a constraint can clear the queue of changed variables which is no longer valid.
      void setCurrent​(MutableVarValue o)
      It replace the current representation of the value with a new representation.
      (package private) int stamp()  
      java.lang.String toString()
      It returns string representation of Mutable variable.
      void update​(MutableVarValue val)
      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.
      MutableVarValue value()
      It returns current value of MutableVariable.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • MutableDomain

        public MutableDomain​(Store store)
        Parameters:
        store - store in which the mutable domain is created.

      • MutableDomain

        public MutableDomain​(Store store,
                     IntDomain domain)
        Parameters:
        store - store in which the mutable domain is created.
        domain - specifies the domain used to create mutable domain.

    • 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.