Package org.jacop.constraints
Class CircuitVarValue
- java.lang.Object
-
- org.jacop.constraints.CircuitVarValue
-
- All Implemented Interfaces:
java.lang.Cloneable
,MutableVarValue
class CircuitVarValue extends java.lang.Object implements MutableVarValue, java.lang.Cloneable
Defines a current value of the CircuitVar and related operations on it.- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) int
next
(package private) CircuitVarValue
nextCircuitVarValue
(package private) int
previous
(package private) int
stamp
-
Constructor Summary
Constructors Constructor Description CircuitVarValue()
CircuitVarValue(int n, int p)
-
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(int n, int p)
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
-
next
int next
-
previous
int previous
-
nextCircuitVarValue
CircuitVarValue nextCircuitVarValue
-
stamp
int stamp
-
-
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(int n, int p)
-
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
-
-