Class ChunckedBoolTrail
- java.lang.Object
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail<BoolWorld>
-
- org.chocosolver.memory.trailing.trail.chunck.ChunckedBoolTrail
-
- All Implemented Interfaces:
IStorage
,IStoredBoolTrail
public class ChunckedBoolTrail extends ChunckedTrail<BoolWorld> implements IStoredBoolTrail
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 ChunckedBoolTrail(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(StoredBool v, boolean initValue, int olderStamp)
void
savePreviousState(StoredBool v, boolean 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(StoredBool v, boolean oldValue, int oldStamp)
- Specified by:
savePreviousState
in interfaceIStoredBoolTrail
-
buildFakeHistory
public void buildFakeHistory(StoredBool v, boolean initValue, int olderStamp)
- Specified by:
buildFakeHistory
in interfaceIStoredBoolTrail
-
-