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.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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.java.lang.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 Detail
-
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
java.lang.String toString()
It returns string representation of Mutable variable.- Overrides:
toString
in classjava.lang.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.
-
-