public class ChunckedBoolTrail extends ChunckedTrail<BoolWorld> implements IStoredBoolTrail
current, worlds
Constructor and Description |
---|
ChunckedBoolTrail(int ws,
int nbWorlds,
double loadfactor)
Constructs a trail with predefined size and loadfactor
|
Modifier and Type | Method and 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.
|
allocated, worldCommit, worldPop
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
worldCommit, worldPop
public ChunckedBoolTrail(int ws, int nbWorlds, double loadfactor)
ws
- the initial world sizenbWorlds
- the initial number of worldsloadfactor
- how to resize worldpublic void worldPush(int worldIndex)
IStorage
public void savePreviousState(StoredBool v, boolean oldValue, int oldStamp)
savePreviousState
in interface IStoredBoolTrail
public void buildFakeHistory(StoredBool v, boolean initValue, int olderStamp)
buildFakeHistory
in interface IStoredBoolTrail
Copyright © 2018. All rights reserved.