Module org.chocosolver
Class ChunckedDoubleTrail
- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail<DoubleWorld>
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedDoubleTrail
-
- All Implemented Interfaces:
IStorage
,IStoredDoubleTrail
public class ChunckedDoubleTrail extends ChunckedTrail<DoubleWorld> implements IStoredDoubleTrail
A trail for integers.- Since:
- 29/05/2016
- Author:
- Fabien Hermenier, Charles Prud'homme
-
-
Field Summary
-
Fields inherited from class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
current, worlds
-
-
Constructor Summary
Constructors Constructor Description ChunckedDoubleTrail(int ws, int nbWorlds, double loadfactor)
Constructs a trail with predefined size and loadfactor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
buildFakeHistory(StoredDouble v, double initValue, int olderStamp)
void
savePreviousState(StoredDouble v, double oldValue, int oldStamp)
void
worldPush(int worldIndex)
Moving up to the next world.-
Methods inherited from class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
allocated, worldCommit, worldPop
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.chocosolver.memory.IStorage
worldCommit, worldPop
-
-
-
-
Method Detail
-
worldPush
public void worldPush(int worldIndex)
Description copied from interface:IStorage
Moving up to the next world. Cette methode doit garder l'etat de la variable avant la modification de sorte a la remettre en etat le cas echeant.
-
savePreviousState
public void savePreviousState(StoredDouble v, double oldValue, int oldStamp)
- Specified by:
savePreviousState
in interfaceIStoredDoubleTrail
-
buildFakeHistory
public void buildFakeHistory(StoredDouble v, double initValue, int olderStamp)
- Specified by:
buildFakeHistory
in interfaceIStoredDoubleTrail
-
-