Package org.jacop.constraints

Class Diff2VarValue

java.lang.Object

org.jacop.constraints.Diff2VarValue

All Implemented Interfaces:

java.lang.Cloneable, MutableVarValue

class Diff2VarValue
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) Diff2VarValue	previousDiff2VarValue
(package private) Rectangle[]	Rects
(package private) int	stamp

Constructor Summary

Constructors

Constructor	Description
Diff2VarValue()
Diff2VarValue(Rectangle[] R)

Method Summary

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<Rectangle> VR)
(package private) void	setValue(Rectangle[] 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.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

previousDiff2VarValue

Diff2VarValue previousDiff2VarValue

Rects

Rectangle[] Rects

stamp

int stamp

Constructor Detail

Diff2VarValue

Diff2VarValue()

Diff2VarValue

Diff2VarValue(Rectangle[] 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 interface MutableVarValue

Overrides:

clone in class java.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 interface MutableVarValue

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 interface MutableVarValue

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 interface MutableVarValue

Parameters:

s - the new stamp of value of mutable variable

setValue

void setValue(java.util.List<Rectangle> VR)

setValue

void setValue(Rectangle[] R)

stamp

public int stamp()

Description copied from interface: MutableVarValue

It returns the stamp value of value of mutable variable.

Specified by:

stamp in interface MutableVarValue

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 interface MutableVarValue

Overrides:

toString in class java.lang.Object