Package org.jacop.constraints
Class DisjointCondVarValue
- java.lang.Object
-
- org.jacop.constraints.DisjointCondVarValue
-
- All Implemented Interfaces:
java.lang.Cloneable
,MutableVarValue
class DisjointCondVarValue extends java.lang.Object implements MutableVarValue, java.lang.Cloneable
Defines a current value of the Diff2Var and related operations on it.- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) DisjointCondVarValue
previousDisjointCondVarValue
(package private) RectangleWithCondition[]
Rects
(package private) int
stamp
-
Constructor Summary
Constructors Constructor Description DisjointCondVarValue()
DisjointCondVarValue(RectangleWithCondition[] R)
-
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 n)
It replaces the earlier value of a mutable variable with value passed as parameter.void
setStamp(int s)
It sets the stamp of value of mutable variable.(package private) void
setValue(java.util.List<RectangleWithCondition> VR)
(package private) void
setValue(RectangleWithCondition[] R)
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
-
previousDisjointCondVarValue
DisjointCondVarValue previousDisjointCondVarValue
-
Rects
RectangleWithCondition[] Rects
-
stamp
int stamp
-
-
Constructor Detail
-
DisjointCondVarValue
DisjointCondVarValue()
-
DisjointCondVarValue
DisjointCondVarValue(RectangleWithCondition[] R)
-
-
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 n)
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:
n
- the previous value for this mutable variable.
-
setStamp
public void setStamp(int s)
Description copied from interface:MutableVarValue
It sets the stamp of value of mutable variable.- Specified by:
setStamp
in interfaceMutableVarValue
- Parameters:
s
- the new stamp of value of mutable variable
-
setValue
void setValue(RectangleWithCondition[] R)
-
setValue
void setValue(java.util.List<RectangleWithCondition> VR)
-
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
-
-