|
| |
|
| gov.nasa.jpf.Search
All known Subclasses: gov.nasa.jpf.search.AbstractSearch,
| Search | | public interface Search (Code) | | Interface for a Strategy class to encapsulate the state space search algorithm.
This is one of the two major JPF abstractions (the other one being the VM)
|
| DEPTH_CONSTRAINT | | final public static String DEPTH_CONSTRAINT(Code) | | |
| QUEUE_CONSTRAINT | | final public static String QUEUE_CONSTRAINT(Code) | | |
| SIZE_CONSTRAINT | | final public static String SIZE_CONSTRAINT(Code) | | |
| getErrors | | ErrorList getErrors()(Code) | | return the search results (property violations)
|
| getSearchConstraint | | String getSearchConstraint()(Code) | | answer the last hit search constraint code
|
| getSearchDepth | | int getSearchDepth()(Code) | | get current search depth
|
| getStateNumber | | int getStateNumber()(Code) | | get a unique numeric id for this state
|
| getTransition | | Transition getTransition()(Code) | | get the Transition that brought us into this state
|
| hasNextState | | boolean hasNextState()(Code) | | do we have a next state (after advancing it)
|
| isEndState | | boolean isEndState()(Code) | | |
| isNewState | | boolean isNewState()(Code) | | has this state already been visited (only useful after advancing it)
|
| requestBacktrack | | boolean requestBacktrack()(Code) | | request a single backtrack step as the next transition
|
| search | | void search()(Code) | | start the search process - this is the main driver for the VirtualMachine
|
| supportsBacktrack | | boolean supportsBacktrack()(Code) | | does the search strategy allow listeners to do explicit backtracking
|
| supportsRestoreState | | boolean supportsRestoreState()(Code) | | does this search strategy support state restoration
|
|
|
|