org.chocosolver.memory

Class IStateDouble

java.lang.Object

org.chocosolver.memory.IStateDouble

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

RcDouble, StoredDouble

public abstract class IStateDouble
extends Object
implements Serializable

An abstract class for backtrackable double.

Since:

29/04/13

Author:

Charles Prud'homme

See Also:

Serialized Form

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

Methods

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	add(double delta) modifying a StoredInt by an increment
double	deepCopy() Make a deep copy of this.
double	get() Returns the current value.
IEnvironment	getEnvironment() Retrieving the environment
int	getTimeStamp()
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.

add

public final double add(double delta)

modifying a StoredInt by an increment

Parameters:

delta - increment value

Returns:

the new value

_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

deepCopy

public final double deepCopy()

Make a deep copy of this.

Returns:

a double

getTimeStamp

public int getTimeStamp()

overrideTimeStamp

public void overrideTimeStamp(int aTimeStamp)

getEnvironment

public IEnvironment getEnvironment()

Retrieving the environment

toString

public String toString()

Overrides:

toString in class Object