IStateBool (org.choco-solver-choco-solver 4.10.2 API)

java.lang.Object
- org.chocosolver.memory.IStateBool

Direct Known Subclasses:

StoredBool
```
public abstract class IStateBool
extends Object
```
An abstract class for backtrackable boolean.

Since:

29/04/13

Author:

Charles Prud'homme

Field Summary

Fields
Modifier and Type Field Description

protected boolean currentValue

protected IEnvironment environment

protected int timeStamp

Constructor Summary

Constructors
Constructor Description

IStateBool(IEnvironment env, boolean i)

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`_set(boolean y, int wstamp)`	Modifies the value without storing the former value on the trailing stack.
`boolean`	`get()`	Returns the current value.
`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
  - overrideTimeStamp
```
public void overrideTimeStamp(int aTimeStamp)
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object