Module org.chocosolver

Package org.chocosolver.memory.trailing

Class StoredBool

java.lang.Object

org.chocosolver.memory.IStateBool

org.chocosolver.memory.trailing.StoredBool

public class StoredBool
extends IStateBool

A class implementing backtrackable boolean.

Field Summary

Fields

Modifier and Type	Field	Description
protected IStoredBoolTrail	myTrail

Fields inherited from class org.chocosolver.memory.IStateBool

currentValue, environment, timeStamp

Constructor Summary

Constructors

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

Method Summary

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