public abstract class HeuristicSearch extends Search
Modifier and Type | Field and Description |
---|---|
protected List<HeuristicState> |
childStates |
protected boolean |
isBeamSearch |
protected boolean |
isPathSensitive |
protected HeuristicState |
parentState |
protected boolean |
useAstar |
config, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, properties, reporter, stateDepth, vm
Constructor and Description |
---|
HeuristicSearch(Config config,
VM vm) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
generateChildren() |
List<HeuristicState> |
getChildStates() |
protected abstract HeuristicState |
getNextQueuedState() |
HeuristicState |
getParentState() |
abstract int |
getQueueSize() |
abstract boolean |
isQueueLimitReached() |
protected abstract HeuristicState |
queueCurrentState() |
void |
search() |
void |
setPathSensitive(boolean isPathSensitive) |
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, requestBacktrack, resetProperties, restoreState, setDepthLimit, setIgnoredState, setReporter, setStateDepth, supportsRestoreState, terminate, transitionOccurred
protected HeuristicState parentState
protected List<HeuristicState> childStates
protected boolean isPathSensitive
protected boolean useAstar
protected boolean isBeamSearch
protected abstract HeuristicState queueCurrentState()
protected abstract HeuristicState getNextQueuedState()
public abstract int getQueueSize()
public abstract boolean isQueueLimitReached()
public HeuristicState getParentState()
public List<HeuristicState> getChildStates()
public void setPathSensitive(boolean isPathSensitive)
protected boolean generateChildren()
public boolean supportsBacktrack()
supportsBacktrack
in class Search