- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
-
Constructor Summary
Constructors Constructor Description StoredDoubleVectorTrail(EnvironmentTrailing env, int nUpdates, int nWorlds, double loadfactor)
Constructs a trail for the specified environment with the specified numbers of updates and worlds.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
resizeWorldCapacity(int newWorldCapacity)
void
savePreviousState(StoredDoubleVector vect, int index, double oldValue, int oldStamp)
Reacts on the modification of an element in a stored search vector.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
-
StoredDoubleVectorTrail
public StoredDoubleVectorTrail(EnvironmentTrailing env, int nUpdates, int nWorlds, double loadfactor)
Constructs a trail for the specified environment with the specified numbers of updates and worlds.- Parameters:
nUpdates
- maximal number of updates that will be storednWorlds
- maximal number of worlds that will be storedloadfactor
- load factor for structures
-
-
Method Detail
-
savePreviousState
public void savePreviousState(StoredDoubleVector vect, int index, double oldValue, int oldStamp)
Reacts on the modification of an element in a stored search vector.
-
resizeWorldCapacity
public void resizeWorldCapacity(int newWorldCapacity)
-
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
-
-