Module org.chocosolver

Package org.chocosolver.memory.trailing.trail.flatten

Class StoredLongTrail

java.lang.Object

org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail

All Implemented Interfaces:

IStorage, IStoredLongTrail

public class StoredLongTrail
extends Object
implements IStoredLongTrail

Constructor Summary

Constructors

Constructor	Description
StoredLongTrail(int nUpdates, int nWorlds, double loadfactor)	Constructs a trail with predefined size.

Method Summary

Modifier and Type	Method	Description
void	buildFakeHistory(StoredLong v, long initValue, int olderStamp)
void	savePreviousState(StoredLong v, long 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, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StoredLongTrail

public StoredLongTrail(int nUpdates,
                       int nWorlds,
                       double loadfactor)

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

loadfactor - load factor for structures

Method Detail

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

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(StoredLong v,
                              long oldValue,
                              int oldStamp)

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

Specified by:

savePreviousState in interface IStoredLongTrail

buildFakeHistory

public void buildFakeHistory(StoredLong v,
                             long initValue,
                             int olderStamp)

Specified by:

buildFakeHistory in interface IStoredLongTrail