org.chocosolver.memory.trailing.trail.unsafe

Class UnsafeBoolTrail

java.lang.Object

org.chocosolver.memory.trailing.trail.unsafe.UnsafeBoolTrail

All Implemented Interfaces:

Serializable, IStorage, IStoredBoolTrail, ITrailStorage

public class UnsafeBoolTrail
extends Object
implements IStoredBoolTrail

Since:

13/05/13

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	SIZEOF_DATA
static int	SIZEOF_INT

Constructor Summary

Constructors

Constructor and Description
UnsafeBoolTrail(int nUpdates, int nWorlds) Constructs a trail with predefined size.

Method Summary

Methods

Modifier and Type	Method and Description
void	buildFakeHistory(StoredBool v, boolean initValue, int olderStamp)
protected void	finalize()
int	getSize() Returns the current size of the stack.
static sun.misc.Unsafe	getTheUnsafe()
void	resizeWorldCapacity(int newWorldCapacity) increase the capacity of the environment to a given number of worlds
void	savePreviousState(StoredBool v, boolean oldValue, int oldStamp) Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.
void	worldCommit(int worldIndex) Comits a world: merging it with the previous one.
void	worldPop(int worldIndex) Moving down to the previous world.
void	worldPush(int worldIndex) Moving up to the next world.

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SIZEOF_DATA

public static final int SIZEOF_DATA

SIZEOF_INT

public static final int SIZEOF_INT

Constructor Detail

UnsafeBoolTrail

public UnsafeBoolTrail(int nUpdates,
               int nWorlds)

Constructs a trail with predefined size.

Parameters:

nUpdates - maximal number of updates that will be stored

nWorlds - maximal number of worlds that will be stored

Method Detail

getTheUnsafe

public static sun.misc.Unsafe getTheUnsafe()

worldPush

public void worldPush(int worldIndex)

Moving up to the next world.

Specified by:

worldPush in interface IStorage

Parameters:

worldIndex - current world index

worldPop

public void worldPop(int worldIndex)

Moving down to the previous world.

Specified by:

worldPop in interface IStorage

Parameters:

worldIndex - current world index

getSize

public int getSize()

Returns the current size of the stack.

worldCommit

public void worldCommit(int worldIndex)

Comits a world: merging it with the previous one.

Specified by:

worldCommit in interface IStorage

savePreviousState

public void savePreviousState(StoredBool v,
                     boolean oldValue,
                     int oldStamp)

Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.

Specified by:

savePreviousState in interface IStoredBoolTrail

buildFakeHistory

public void buildFakeHistory(StoredBool v,
                    boolean initValue,
                    int olderStamp)

Specified by:

buildFakeHistory in interface IStoredBoolTrail

resizeWorldCapacity

public void resizeWorldCapacity(int newWorldCapacity)

Description copied from interface: ITrailStorage

increase the capacity of the environment to a given number of worlds

Specified by:

resizeWorldCapacity in interface ITrailStorage

Parameters:

newWorldCapacity - estimation of the required capacity

finalize

protected void finalize()
                 throws Throwable

Overrides:

finalize in class Object

Throws:

Throwable