public class RandomHeuristic extends SimplePriorityHeuristic
Modifier and Type | Field and Description |
---|---|
protected Random |
random |
childStates, isBeamSearch, isPathSensitive, parentState, useAstar
config, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, 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, 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, requestBacktrack, resetProperties, restoreState, setDepthLimit, setIgnoredState, setReporter, setStateDepth, supportsRestoreState, terminate, transitionOccurred
protected Random random
protected int computeHeuristicValue()
computeHeuristicValue
in class SimplePriorityHeuristic