public abstract class SerializingStateSet extends Object implements StateSet
Modifier and Type | Field and Description |
---|---|
protected StateSerializer |
serializer |
UNKNOWN_ID
Constructor and Description |
---|
SerializingStateSet() |
Modifier and Type | Method and Description |
---|---|
protected abstract int |
add(int[] state) |
int |
addCurrent()
check if a state is already in the set, and add it if not.
|
void |
attach(VM vm) |
protected StateSerializer serializer
public int addCurrent()
StateSet
addCurrent
in interface StateSet
protected abstract int add(int[] state)