public class StoredBoolTrail extends Object implements IStoredBoolTrail
Constructor and Description |
---|
StoredBoolTrail(int nUpdates,
int nWorlds,
double loadfactor)
Constructs a trail with predefined size.
|
Modifier and Type | Method and Description |
---|---|
void |
buildFakeHistory(StoredBool v,
boolean initValue,
int olderStamp) |
void |
savePreviousState(StoredBool v,
boolean oldValue,
int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
void |
worldCommit(int worldIndex)
Comits a world: merging it with the previous one.
|
void |
worldPop(int worldIndex)
Moving down to the previous world.
|
void |
worldPush(int worldIndex)
Moving up to the next world.
|
public StoredBoolTrail(int nUpdates, int nWorlds, double loadfactor)
nUpdates
- maximal number of updates that will be storednWorlds
- maximal number of worlds that will be storedloadfactor
- load factor for structurespublic void worldPush(int worldIndex)
public void worldPop(int worldIndex)
public void worldCommit(int worldIndex)
worldCommit
in interface 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.