|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.memory.trailing.trail.StoredIntVectorTrail
public class StoredIntVectorTrail
Implements a trail with the history of all the stored search vectors.
Field Summary |
---|
Fields inherited from interface choco.kernel.memory.trailing.trail.ITrailStorage |
---|
LOGGER |
Constructor Summary | |
---|---|
StoredIntVectorTrail(int nUpdates,
int nWorlds)
Constructs a trail for the specified environment with the specified numbers of updates and worlds. |
Method Summary | |
---|---|
void |
clear()
|
int |
getSize()
Returns the current size of the stack. |
void |
resizeWorldCapacity(int newWorldCapacity)
increase the capacity of the environment to a given number of worlds |
void |
savePreviousState(StoredIntVector vect,
int index,
int oldValue,
int oldStamp)
Reacts on the modification of an element in a stored search vector. |
void |
worldCommit(int wi)
Comits a world: merging it with the previous one. |
void |
worldPop(int wi)
Moving down to the previous world. |
void |
worldPush(int wi)
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 |
---|
public StoredIntVectorTrail(int nUpdates, int nWorlds)
Method Detail |
---|
public void clear()
clear
in interface ITrailStorage
public void savePreviousState(StoredIntVector vect, int index, int oldValue, int oldStamp)
public void resizeWorldCapacity(int newWorldCapacity)
ITrailStorage
resizeWorldCapacity
in interface ITrailStorage
public void worldPush(int wi)
worldPush
in interface ITrailStorage
wi
- public void worldPop(int wi)
worldPop
in interface ITrailStorage
wi
- public void worldCommit(int wi)
worldCommit
in interface ITrailStorage
wi
- public int getSize()
getSize
in interface ITrailStorage
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |