Class OperationWorld
- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.chunck.OperationWorld
-
-
Constructor Summary
Constructors Constructor Description OperationWorld(int defaultSize, double loadfactor)
-
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(IOperation v)
Reacts when a StoredInt 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(IOperation v)
Reacts when a StoredInt 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
-
allocated
public int allocated()
Description copied from interface:World
The allocated trail for this world.
-
-