org.chocosolver.memory

Class IStateBool

java.lang.Object

org.chocosolver.memory.IStateBool

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

RcBool, StoredBool

public abstract class IStateBool
extends Object
implements Serializable

An abstract class for backtrackable boolean.

Since:

29/04/13

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	currentValue
protected IEnvironment	environment
protected int	timeStamp

Constructor Summary

Constructors

Constructor and Description
IStateBool(IEnvironment env, boolean i)

Method Summary

Methods

Modifier and Type	Method and Description
void	_set(boolean y, int wstamp) Modifies the value without storing the former value on the trailing stack.
boolean	deepCopy() Make a deep copy of this.
boolean	get() Returns the current value.
IEnvironment	getEnvironment() Retrieving the environment
int	getTimeStamp()
void	overrideTimeStamp(int aTimeStamp)
abstract void	set(boolean 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 boolean currentValue

timeStamp

protected int timeStamp

Constructor Detail

IStateBool

public IStateBool(IEnvironment env,
          boolean i)

Method Detail

get

public final boolean get()

Returns the current value.

set

public abstract void set(boolean y)

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

_set

public void _set(boolean 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 boolean deepCopy()

Make a deep copy of this.

Returns:

a boolean

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