Constructor and Description |
---|
IntWorld(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(StoredInt v,
int oldValue,
int oldStamp)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
int |
used()
The amount of values in the stack
|
public IntWorld(int defaultSize, double loadfactor)
defaultSize
- the default world sizepublic void savePreviousState(StoredInt v, int oldValue, int oldStamp)
public void revert()
World
public void clear()
World
public int used()
World
Copyright © 2018. All rights reserved.