Uses of Class
gov.nasa.jpf.search.SearchState

Packages that use SearchState

Package	Description
gov.nasa.jpf
gov.nasa.jpf.search

Uses of SearchState in gov.nasa.jpf

Methods in gov.nasa.jpf that return SearchState

Modifier and Type	Method and Description
SearchState	State.getSearchState()

Constructors in gov.nasa.jpf with parameters of type SearchState

Constructor and Description
State(boolean isNew, boolean hasSuccessor, SearchState searchState, RestorableVMState vmState)

Uses of SearchState in gov.nasa.jpf.search

Methods in gov.nasa.jpf.search that return SearchState

Modifier and Type	Method and Description
protected SearchState	Search.getSearchState()