choco.kernel.memory.trailing
Class StoredBool

java.lang.Object
  extended by choco.kernel.memory.trailing.AbstractStoredObject
      extended by choco.kernel.memory.trailing.StoredBool
All Implemented Interfaces:
IStateBool

public final class StoredBool
extends AbstractStoredObject
implements IStateBool

A class implementing backtrackable booleans.


Field Summary
protected  StoredBoolTrail myTrail
           
 
Fields inherited from class choco.kernel.memory.trailing.AbstractStoredObject
environment, LOGGER, worldStamp
 
Constructor Summary
StoredBool(EnvironmentTrailing env, boolean b)
          Constructs a stored search with an initial value.
 
Method Summary
 void _set(boolean b, int wstamp)
          Modifies the value without storing the former value on the trailing stack.
 boolean get()
          Returns the current value.
 void set(boolean b)
          Modifies the value and stores if needed the former value on the trailing stack.
 String toString()
           
 
Methods inherited from class choco.kernel.memory.trailing.AbstractStoredObject
getEnvironment, getWorldStamp, setWorldStamp
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.memory.IStateBool
getEnvironment
 

Field Detail

myTrail

protected final StoredBoolTrail myTrail
Constructor Detail

StoredBool

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

get

public boolean get()
Returns the current value.

Specified by:
get in interface IStateBool

set

public void set(boolean b)
Modifies the value and stores if needed the former value on the trailing stack.

Specified by:
set in interface IStateBool

_set

public void _set(boolean b,
                 int wstamp)
Modifies the value without storing the former value on the trailing stack.

Parameters:
b - the new value
wstamp - the stamp of the world in which the update is performed

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.