- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.chunck.BoolWorld
-
-
Constructor Summary
Constructors Constructor Description BoolWorld(int defaultSize, double loadfactor)
Make a new world.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
allocated()
The allocated trail for this world.void
clear()
Clean the stackvoid
revert()
Pop all the stack.void
savePreviousState(StoredBool v, boolean oldValue, int oldStamp)
Reacts when a StoredBool is modified: push the former value & timestamp on the stacks.int
used()
The amount of values in the stack
-
-
-
Method Detail
-
savePreviousState
public void savePreviousState(StoredBool v, boolean oldValue, int oldStamp)
Reacts when a StoredBool is modified: push the former value & timestamp on the stacks.
-
revert
public void revert()
Description copied from interface:World
Pop all the stack.
-
clear
public void clear()
Description copied from interface:World
Clean the stack
-
used
public int used()
Description copied from interface:World
The amount of values in the stack
-
-