Constructor and Description |
---|
BoolWorld(int defaultSize,
double loadfactor)
Make a new world.
|
Modifier and Type | Method and Description |
---|---|
int |
allocated()
The allocated trail for this world.
|
void |
clear()
Clean the stack
|
void |
revert()
Pop all the stack.
|
void |
savePreviousState(StoredBool v,
boolean oldValue,
int oldStamp)
Reacts when a StoredBool is modified: push the former value & timestamp
on the stacks.
|
int |
used()
The amount of values in the stack
|
public BoolWorld(int defaultSize, double loadfactor)
defaultSize
- the default world sizepublic void savePreviousState(StoredBool v, boolean oldValue, int oldStamp)
public void revert()
World
public void clear()
World
public int used()
World
Copyright © 2018. All rights reserved.