Package org.jacop.core
Interface MutableVarValue
- All Known Implementing Classes:
BoundsVarValue
,CircuitVarValue
,Diff2VarValue
,DisjointCondVarValue
,MutableDomainValue
public interface MutableVarValue
Standard mutable variable's value definition
- Version:
- 4.10
-
Method Summary
Modifier and TypeMethodDescriptionclone()
It clones the value of mutable variable.previous()
It returns the earlier value of mutable variable.void
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.int
stamp()
It returns the stamp value of value of mutable variable.toString()
It returns string representation of the current value of mutable variable.
-
Method Details
-
clone
Object clone()It clones the value of mutable variable. It includes the stamp, pointer to earlier value, and current value of variable.- Returns:
- clone of the mutable variable value.
-
previous
MutableVarValue previous()It returns the earlier value of mutable variable.- Returns:
- earlier value of mutable variable.
-
setPrevious
It replaces the earlier value of a mutable variable with value passed as parameter.- Parameters:
o
- the previous value for this mutable variable.
-
setStamp
void setStamp(int stamp) It sets the stamp of value of mutable variable.- Parameters:
stamp
- the new stamp of value of mutable variable
-
stamp
int stamp()It returns the stamp value of value of mutable variable.- Returns:
- the current stamp of value of mutable variable.
-
toString
String toString()It returns string representation of the current value of mutable variable.
-