org.jacop.core

Interface MutableVar

All Superinterfaces:

Stateful

All Known Implementing Classes:

MutableDomain

public interface MutableVar
extends Stateful

Standard mutable variable definition

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Method Summary

Modifier and Type	Method and Description
MutableVarValue	previous() It returns the earlier value of variable comparing to the current one.
void	setCurrent(MutableVarValue o) It replace the current representation of the value with a new representation.
String	toString() It returns string representation of Mutable variable.
void	update(MutableVarValue value) It updates the value of a mutable variable based on value given as a parameter, the stamp level of current value and stamp value of passed value.
MutableVarValue	value() It returns current value of MutableVariable.

Methods inherited from interface org.jacop.api.Stateful

isStateful, removeLevel

Method Detail

previous

MutableVarValue previous()

It returns the earlier value of variable comparing to the current one.

Returns:

previous value of a mutable variable.

setCurrent

void setCurrent(MutableVarValue o)

It replace the current representation of the value with a new representation. It ignores the store level.

Parameters:

o - value to which a mutable variable is set.

toString

String toString()

It returns string representation of Mutable variable.

Overrides:

toString in class Object

update

void update(MutableVarValue value)

It updates the value of a mutable variable based on value given as a parameter, the stamp level of current value and stamp value of passed value.

Parameters:

value - it specifies the new value of a mutable variable.

value

MutableVarValue value()

It returns current value of MutableVariable.

Returns:

current value of the mutable variable.