Module org.chocosolver

Package org.chocosolver.memory.trailing

Class StoredDouble

java.lang.Object

org.chocosolver.memory.IStateDouble

org.chocosolver.memory.trailing.StoredDouble

public class StoredDouble
extends IStateDouble

A class implementing backtrackable double.

Field Summary

Fields

Modifier and Type	Field	Description
protected IStoredDoubleTrail	myTrail

Fields inherited from class org.chocosolver.memory.IStateDouble

currentValue, environment, timeStamp

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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, get, 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