Constructor and Description |
---|
StoredIntVectorTrail(EnvironmentTrailing env,
int nUpdates,
int nWorlds,
double loadfactor)
Constructs a trail for the specified environment with the
specified numbers of updates and worlds.
|
Modifier and Type | Method and Description |
---|---|
void |
resizeWorldCapacity(int newWorldCapacity) |
void |
savePreviousState(StoredIntVector vect,
int index,
int oldValue,
int oldStamp)
Reacts on the modification of an element in a stored search vector.
|
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 StoredIntVectorTrail(EnvironmentTrailing env, 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 savePreviousState(StoredIntVector vect, int index, int oldValue, int oldStamp)
public void resizeWorldCapacity(int newWorldCapacity)
public void worldPush(int worldIndex)
public void worldPop(int worldIndex)
public void worldCommit(int worldIndex)
worldCommit
in interface IStorage
Copyright © 2018. All rights reserved.