Class MutableDomainValue

  • All Implemented Interfaces:
    java.lang.Cloneable, MutableVarValue

    public class MutableDomainValue
    extends java.lang.Object
    implements MutableVarValue, java.lang.Cloneable
    Version:
    4.7
    • Field Detail

      • domain

        public Domain domain
        It stores the value of the mutable domain.
      • previousMutableDomainVariableValue

        MutableDomainValue previousMutableDomainVariableValue
      • stamp

        int stamp
    • Constructor Detail

      • MutableDomainValue

        MutableDomainValue()
      • MutableDomainValue

        public MutableDomainValue​(Domain domain)
        Parameters:
        domain - specifies domain stored by a mutable domain.
    • Method Detail

      • clone

        public java.lang.Object clone()
        Description copied from interface: MutableVarValue
        It clones the value of mutable variable. It includes the stamp, pointer to earlier value, and current value of variable.
        Specified by:
        clone in interface MutableVarValue
        Overrides:
        clone in class java.lang.Object
        Returns:
        clone of the mutable variable value.
      • setPrevious

        public void setPrevious​(MutableVarValue nn)
        Description copied from interface: MutableVarValue
        It replaces the earlier value of a mutable variable with value passed as parameter.
        Specified by:
        setPrevious in interface MutableVarValue
        Parameters:
        nn - the previous value for this mutable variable.
      • setStamp

        public void setStamp​(int stamp)
        Description copied from interface: MutableVarValue
        It sets the stamp of value of mutable variable.
        Specified by:
        setStamp in interface MutableVarValue
        Parameters:
        stamp - the new stamp of value of mutable variable
      • setValue

        void setValue​(Domain domain)
      • stamp

        public int stamp()
        Description copied from interface: MutableVarValue
        It returns the stamp value of value of mutable variable.
        Specified by:
        stamp in interface MutableVarValue
        Returns:
        the current stamp of value of mutable variable.
      • toString

        public java.lang.String toString()
        Description copied from interface: MutableVarValue
        It returns string representation of the current value of mutable variable.
        Specified by:
        toString in interface MutableVarValue
        Overrides:
        toString in class java.lang.Object