org.chocosolver.memory.trailing

Class StoredDouble

java.lang.Object

org.chocosolver.memory.IStateDouble

org.chocosolver.memory.trailing.StoredDouble

All Implemented Interfaces:

Serializable

public class StoredDouble
extends IStateDouble

A class implementing backtrackable double.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected IStoredDoubleTrail	myTrail

Fields inherited from class org.chocosolver.memory.IStateDouble

currentValue, environment, timeStamp

Constructor Summary

Constructors

Constructor and Description
StoredDouble(EnvironmentTrailing env, double i) Constructs a stored search with an initial value.

Method Summary

Methods

Modifier and Type	Method and Description
void	set(double y) Modifies the value and stores if needed the former value on the trailing stack.

Methods inherited from class org.chocosolver.memory.IStateDouble

_set, add, deepCopy, get, getEnvironment, getTimeStamp, overrideTimeStamp, toString

Methods inherited from class java.lang.Object

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

Field Detail

myTrail

protected final IStoredDoubleTrail myTrail

Constructor Detail

StoredDouble

public StoredDouble(EnvironmentTrailing env,
            double i)

Constructs a stored search with an initial value. Note: this constructor should not be used directly: one should instead use the IEnvironment factory

Method Detail

set

public final void set(double y)

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

Specified by:

set in class IStateDouble