public class RandomHeuristic extends SimplePriorityHeuristic
Modifier and Type | Field and Description |
---|---|
protected java.util.Random |
random |
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 |
---|
RandomHeuristic(Config config,
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