Class ChunckedLongTrail
- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail<LongWorld>
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedLongTrail
-
- All Implemented Interfaces:
IStorage
,IStoredLongTrail
public class ChunckedLongTrail extends ChunckedTrail<LongWorld> implements IStoredLongTrail
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 ChunckedLongTrail(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(StoredLong v, long initValue, int olderStamp)
void
savePreviousState(StoredLong v, long 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(StoredLong v, long oldValue, int oldStamp)
- Specified by:
savePreviousState
in interfaceIStoredLongTrail
-
buildFakeHistory
public void buildFakeHistory(StoredLong v, long initValue, int olderStamp)
- Specified by:
buildFakeHistory
in interfaceIStoredLongTrail
-
-