org.chocosolver.memory

Class IStateDouble

java.lang.Object

org.chocosolver.memory.IStateDouble

Direct Known Subclasses:

StoredDouble

public abstract class IStateDouble
extends Object

An abstract class for backtrackable double.

Since:

29/04/13

Author:

Charles Prud'homme

Field Summary

Fields

Modifier and Type	Field and Description
protected double	currentValue
protected IEnvironment	environment
protected int	timeStamp

Constructor Summary

Constructors

Constructor and Description
IStateDouble(IEnvironment env, double i)

Method Summary

Modifier and Type	Method and Description
void	_set(double y, int wstamp) Modifies the value without storing the former value on the trailing stack.
double	get() Returns the current value.
void	overrideTimeStamp(int aTimeStamp)
abstract void	set(double y) Modifies the value and stores if needed the former value on the trailing stack.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

environment

protected final IEnvironment environment

currentValue

protected double currentValue

timeStamp

protected int timeStamp

Constructor Detail

IStateDouble

public IStateDouble(IEnvironment env,
                    double i)

Method Detail

get

public final double get()

Returns the current value.

set

public abstract void set(double y)

Modifies the value and stores if needed the former value on the trailing stack.

_set

public void _set(double y,
                 int wstamp)

Modifies the value without storing the former value on the trailing stack.

Parameters:

y - the new value

wstamp - the stamp of the world in which the update is performed

overrideTimeStamp

public void overrideTimeStamp(int aTimeStamp)

toString

public String toString()

Overrides:

toString in class Object