public class DFSHeuristic extends SimplePriorityHeuristic
aliveThread
childStates, isBeamSearch, isPathSensitive, parentState, useAstar
config, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, notifyProbeListeners, properties, reporter, stateDepth, vm
Constructor and Description |
---|
DFSHeuristic(Config conf,
VM vm) |
Modifier and Type | Method and Description |
---|---|
protected int |
computeHeuristicValue() |
computeAstarPathCost, getNextQueuedState, getQueueSize, isQueueLimitReached, queueCurrentState
generateChildren, getChildStates, getParentState, search, setPathSensitive, supportsBacktrack
addListener, addProperty, backtrack, checkAndResetBacktrackRequest, checkAndResetProbeRequest, 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, notifySearchProbed, notifySearchStarted, notifyStateAdvanced, notifyStateBacktracked, notifyStateProcessed, notifyStatePurged, notifyStateRestored, notifyStateStored, probeSearch, removeListener, removeProperty, requestBacktrack, resetProperties, restoreState, setDepthLimit, setIgnoredState, setReporter, setStateDepth, supportsRestoreState, terminate, transitionOccurred
protected int computeHeuristicValue()
computeHeuristicValue
in class SimplePriorityHeuristic