|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.memory.trailing.trail.StoredVectorTrail
public class StoredVectorTrail
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 | |
---|---|
StoredVectorTrail(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(StoredVector<?> vect,
int index,
Object 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 StoredVectorTrail(int nUpdates, int nWorlds)
Method Detail |
---|
public void clear()
clear
in interface ITrailStorage
public void savePreviousState(StoredVector<?> vect, int index, Object 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 |