Package org.jacop.core

Interface MutableVar

All Superinterfaces:
Stateful
All Known Implementing Classes:
BoundsVar, CircuitVar, Diff2Var, DisjointCondVar, MutableDomain
public interface MutableVar extends Stateful
Standard mutable variable definition
Version:
4.10

  • Method Summary

    Modifier and Type
    Method
    Description
    MutableVarValue
    previous()
    It returns the earlier value of variable comparing to the current one.
    void
    setCurrent(MutableVarValue o)
    It replace the current representation of the value with a new representation.
    String
    toString()
    It returns string representation of Mutable variable.
    void
    update(MutableVarValue value)
    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 interface org.jacop.api.Stateful

    isStateful, removeLevel

  • Method Details

    • previous

      MutableVarValue previous()
      It returns the earlier value of variable comparing to the current one.
      Returns:
      previous value of a mutable variable.

    • setCurrent

      void setCurrent(MutableVarValue o)
      It replace the current representation of the value with a new representation. It ignores the store level.
      Parameters:
      o - value to which a mutable variable is set.

    • toString

      String toString()
      It returns string representation of Mutable variable.
      Overrides:
      toString in class Object

    • update

      void update(MutableVarValue value)
      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.
      Parameters:
      value - it specifies the new value of a mutable variable.

    • value

      MutableVarValue value()
      It returns current value of MutableVariable.
      Returns:
      current value of the mutable variable.