|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.memory.trailing.trail.StoredBinaryTreeTrail
public class StoredBinaryTreeTrail
Created by IntelliJ IDEA. User: julien Date: Apr 24, 2008 Time: 4:47:45 PM
Field Summary |
---|
Fields inherited from interface choco.kernel.memory.trailing.trail.ITrailStorage |
---|
LOGGER |
Constructor Summary | |
---|---|
StoredBinaryTreeTrail(int maxHist,
int maxWorld)
|
Method Summary | |
---|---|
void |
clear()
|
int |
getSize()
Retrieving the size of the trail (number of saved past values). |
void |
resizeWorldCapacity(int newWorldCapacity)
increase the capacity of the environment to a given number of worlds |
void |
stack(IStateBinaryTree b,
IStateBinaryTree.Node n,
int operation)
|
void |
worldCommit(int wi)
Comitting the current 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 StoredBinaryTreeTrail(int maxHist, int maxWorld)
Method Detail |
---|
public void clear()
clear
in interface ITrailStorage
public void stack(IStateBinaryTree b, IStateBinaryTree.Node n, int operation)
public void worldPush(int wi)
ITrailStorage
worldPush
in interface ITrailStorage
public void worldPop(int wi)
ITrailStorage
worldPop
in interface ITrailStorage
public void worldCommit(int wi)
ITrailStorage
worldCommit
in interface ITrailStorage
public int getSize()
ITrailStorage
getSize
in interface ITrailStorage
public void resizeWorldCapacity(int newWorldCapacity)
ITrailStorage
resizeWorldCapacity
in interface ITrailStorage
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |