Package org.jacop.core
Interface MutableVar
- All Superinterfaces:
Stateful
- All Known Implementing Classes:
BoundsVar
,CircuitVar
,Diff2Var
,DisjointCondVar
,MutableDomain
Standard mutable variable definition
- Version:
- 4.10
-
Method Summary
Modifier and TypeMethodDescriptionprevious()
It returns the earlier value of variable comparing to the current one.void
It replace the current representation of the value with a new representation.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.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
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. -
update
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.
-