org.chocosolver.memory.trailing

Class StoredBool

java.lang.Object

org.chocosolver.memory.IStateBool

org.chocosolver.memory.trailing.StoredBool

All Implemented Interfaces:

Serializable

public class StoredBool
extends IStateBool

A class implementing backtrackable boolean.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected IStoredBoolTrail	myTrail

Fields inherited from class org.chocosolver.memory.IStateBool

currentValue, environment, timeStamp

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class org.chocosolver.memory.IStateBool

_set, 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 IStoredBoolTrail myTrail

Constructor Detail

StoredBool

public StoredBool(EnvironmentTrailing env,
          boolean 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(boolean y)

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

Specified by:

set in class IStateBool