Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.search |
Modifier and Type | Method and Description |
---|---|
SearchState |
State.getSearchState() |
Constructor and Description |
---|
State(boolean isNew,
boolean hasSuccessor,
SearchState searchState,
RestorableVMState vmState) |
Modifier and Type | Method and Description |
---|---|
protected SearchState |
Search.getSearchState() |