- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.flatten.OperationTrail
-
- All Implemented Interfaces:
IStorage
,IOperationTrail
public class OperationTrail extends Object implements IOperationTrail
Created by IntelliJ IDEA. User: chameau Date: 9 feb. 2011
-
-
Constructor Summary
Constructors Constructor Description OperationTrail(int nUpdates, int nWorlds, double loadfactor)
Constructs a trail with predefined size.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
savePreviousState(IOperation oldValue)
Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.void
worldCommit(int worldIndex)
Comits a world: merging it with the previous one.void
worldPop(int worldIndex)
Moving down to the previous world.void
worldPush(int worldIndex)
Moving up to the next world.
-
-
-
Constructor Detail
-
OperationTrail
public OperationTrail(int nUpdates, int nWorlds, double loadfactor)
Constructs a trail with predefined size.- Parameters:
nUpdates
- maximal number of updates that will be storednWorlds
- maximal number of worlds that will be storedloadfactor
- load factor for structures
-
-
Method Detail
-
worldPush
public void worldPush(int worldIndex)
Moving up to the next world.
-
worldPop
public void worldPop(int worldIndex)
Moving down to the previous world.
-
worldCommit
public void worldCommit(int worldIndex)
Comits a world: merging it with the previous one.- Specified by:
worldCommit
in interfaceIStorage
-
savePreviousState
public void savePreviousState(IOperation oldValue)
Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.- Specified by:
savePreviousState
in interfaceIOperationTrail
-
-