Package org.jacop.core
Class MutableDomainValue
- java.lang.Object
-
- org.jacop.core.MutableDomainValue
-
- All Implemented Interfaces:
java.lang.Cloneable
,MutableVarValue
public class MutableDomainValue extends java.lang.Object implements MutableVarValue, java.lang.Cloneable
- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description Domain
domain
It stores the value of the mutable domain.(package private) MutableDomainValue
previousMutableDomainVariableValue
(package private) int
stamp
-
Constructor Summary
Constructors Constructor Description MutableDomainValue()
MutableDomainValue(Domain domain)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Object
clone()
It clones the value of mutable variable.MutableVarValue
previous()
It returns the earlier value of mutable variable.void
setPrevious(MutableVarValue nn)
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.(package private) void
setValue(Domain domain)
int
stamp()
It returns the stamp value of value of mutable variable.java.lang.String
toString()
It returns string representation of the current value of mutable variable.
-
-
-
Field Detail
-
domain
public Domain domain
It stores the value of the mutable domain.
-
previousMutableDomainVariableValue
MutableDomainValue previousMutableDomainVariableValue
-
stamp
int stamp
-
-
Constructor Detail
-
MutableDomainValue
MutableDomainValue()
-
MutableDomainValue
public MutableDomainValue(Domain domain)
- Parameters:
domain
- specifies domain stored by a mutable domain.
-
-
Method Detail
-
clone
public java.lang.Object clone()
Description copied from interface:MutableVarValue
It clones the value of mutable variable. It includes the stamp, pointer to earlier value, and current value of variable.- Specified by:
clone
in interfaceMutableVarValue
- Overrides:
clone
in classjava.lang.Object
- Returns:
- clone of the mutable variable value.
-
previous
public MutableVarValue previous()
Description copied from interface:MutableVarValue
It returns the earlier value of mutable variable.- Specified by:
previous
in interfaceMutableVarValue
- Returns:
- earlier value of mutable variable.
-
setPrevious
public void setPrevious(MutableVarValue nn)
Description copied from interface:MutableVarValue
It replaces the earlier value of a mutable variable with value passed as parameter.- Specified by:
setPrevious
in interfaceMutableVarValue
- Parameters:
nn
- the previous value for this mutable variable.
-
setStamp
public void setStamp(int stamp)
Description copied from interface:MutableVarValue
It sets the stamp of value of mutable variable.- Specified by:
setStamp
in interfaceMutableVarValue
- Parameters:
stamp
- the new stamp of value of mutable variable
-
setValue
void setValue(Domain domain)
-
stamp
public int stamp()
Description copied from interface:MutableVarValue
It returns the stamp value of value of mutable variable.- Specified by:
stamp
in interfaceMutableVarValue
- Returns:
- the current stamp of value of mutable variable.
-
toString
public java.lang.String toString()
Description copied from interface:MutableVarValue
It returns string representation of the current value of mutable variable.- Specified by:
toString
in interfaceMutableVarValue
- Overrides:
toString
in classjava.lang.Object
-
-