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 MutableVarValueprevious()It returns the earlier value of variable comparing to the current one.voidsetCurrent(MutableVarValue o)It replace the current representation of the value with a new representation.java.lang.StringtoString()It returns string representation of Mutable variable.voidupdate(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.MutableVarValuevalue()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:
toStringin 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.
-
-