- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail<IntWorld>
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedIntTrail
-
- All Implemented Interfaces:
IStorage
,IStoredIntTrail
public class ChunckedIntTrail extends ChunckedTrail<IntWorld> implements IStoredIntTrail
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 ChunckedIntTrail(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(StoredInt v, int initValue, int olderStamp)
void
savePreviousState(StoredInt v, int 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(StoredInt v, int oldValue, int oldStamp)
- Specified by:
savePreviousState
in interfaceIStoredIntTrail
-
buildFakeHistory
public void buildFakeHistory(StoredInt v, int initValue, int olderStamp)
- Specified by:
buildFakeHistory
in interfaceIStoredIntTrail
-
-