| gov.nasa.jpf.jvm.StateSet
All known Subclasses: gov.nasa.jpf.jvm.Md5StateSet,
| StateSet | | public interface StateSet (Code) | | interface to encapsulate an ADT (conceptually a set) used to answer if
a state has been seen already
|
| Method Summary | |
| int | add(SystemState ss)
check if a state is already in the set, and add it if not. | | boolean | isNewState(int stateId)
for a given state id (obtained by add), tell us if the last add() call
inserted this (i.e. | | int | size()
|
| UNKNOWN_ID | | final static int UNKNOWN_ID(Code) | | |
| add | | int add(SystemState ss)(Code) | | check if a state is already in the set, and add it if not. Answer
it's numeric id
|
| isNewState | | boolean isNewState(int stateId)(Code) | | for a given state id (obtained by add), tell us if the last add() call
inserted this (i.e. it was a new state)
|
| size | | int size()(Code) | | how many states do we already have in the set
|
|
|