Package org.jacop.constraints

Class CircuitVarValue

  • All Implemented Interfaces:
    java.lang.Cloneable, MutableVarValue
    class CircuitVarValue
extends java.lang.Object
implements MutableVarValue, java.lang.Cloneable
    Defines a current value of the CircuitVar and related operations on it.
    Version:
    4.8

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Object clone()
      It clones the value of mutable variable.
      MutableVarValue previous()
      It returns the earlier value of mutable variable.
      void setPrevious​(MutableVarValue nn)
      It replaces the earlier value of a mutable variable with value passed as parameter.
      void setStamp​(int stamp)
      It sets the stamp of value of mutable variable.
      (package private) void setValue​(int n, int p)  
      int stamp()
      It returns the stamp value of value of mutable variable.
      java.lang.String toString()
      It returns string representation of the current value of mutable variable.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • next

        int next

      • previous

        int previous

      • stamp

        int stamp

    • Constructor Detail

      • CircuitVarValue

        CircuitVarValue()

      • CircuitVarValue

        CircuitVarValue​(int n,
                int p)

    • 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​(int n,
              int p)

      • 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