public class DFSearch extends Search
config, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, properties, reporter, stateDepth, vm
Modifier and Type | Method and Description |
---|---|
boolean |
requestBacktrack()
this is somewhat redundant to SystemState.setIgnored(), but we don't
want to mix the case of overriding state matching with backtracking when
searching for multiple errors
|
void |
search()
state model of the search
next new -> action
T T forward
T F backtrack, forward
F T backtrack, forward
F F backtrack, forward
end condition
backtrack failed (no saved states)
| property violation (currently only checked in new states)
| search constraint (depth or memory or time)
<2do> we could split the properties into forward and backtrack properties,
the latter ones being usable for liveness properties that are basically
condition accumulators for sub-paths of the state space, to be checked when
we backtrack to the state where they were introduced.
|
boolean |
supportsBacktrack() |
addListener, addProperty, backtrack, checkAndResetBacktrackRequest, checkPropertyViolation, checkStateSpaceLimit, cleanUp, error, error, forward, getConfig, getCurrentError, getDepth, getDepthLimit, getErrors, getLastError, getLastSearchConstraint, getNextListenerOfType, getNumberOfErrors, getProperties, getPurgedStateId, getSearchConstraint, getSearchState, getStateDepth, getStateId, getTransition, getVM, hasErrors, hasListenerOfType, hasNextState, hasPropertyTermination, initialize, isDone, isEndState, isErrorState, isIgnoredState, isNewState, isProcessedState, isVisitedState, notifyPropertyViolated, notifySearchConstraintHit, notifySearchFinished, notifySearchStarted, notifyStateAdvanced, notifyStateBacktracked, notifyStateProcessed, notifyStatePurged, notifyStateRestored, notifyStateStored, removeListener, removeProperty, resetProperties, restoreState, setDepthLimit, setIgnoredState, setReporter, setStateDepth, supportsRestoreState, terminate, transitionOccurred
public boolean requestBacktrack()
Search
requestBacktrack
in class Search
public void search()
public boolean supportsBacktrack()
supportsBacktrack
in class Search