public abstract class SimplePriorityHeuristic extends HeuristicSearch
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 |
---|
SimplePriorityHeuristic(Config config,
VM vm) |
Modifier and Type | Method and Description |
---|---|
protected int |
computeAstarPathCost(VM vm) |
protected abstract int |
computeHeuristicValue() |
protected HeuristicState |
getNextQueuedState() |
int |
getQueueSize() |
boolean |
isQueueLimitReached() |
protected HeuristicState |
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 abstract int computeHeuristicValue()
protected int computeAstarPathCost(VM vm)
protected HeuristicState queueCurrentState()
queueCurrentState
in class HeuristicSearch
protected HeuristicState getNextQueuedState()
getNextQueuedState
in class HeuristicSearch
public int getQueueSize()
getQueueSize
in class HeuristicSearch
public boolean isQueueLimitReached()
isQueueLimitReached
in class HeuristicSearch