public class Interleaving extends SimplePriorityHeuristic
aliveThreadchildStates, isBeamSearch, isPathSensitive, parentState, useAstarconfig, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, notifyProbeListeners, properties, reporter, stateDepth, vm| Constructor and Description |
|---|
Interleaving(Config config,
VM vm) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
computeHeuristicValue() |
computeAstarPathCost, getNextQueuedState, getQueueSize, isQueueLimitReached, queueCurrentStategenerateChildren, getChildStates, getParentState, search, setPathSensitive, supportsBacktrackaddListener, 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, transitionOccurredprotected int computeHeuristicValue()
computeHeuristicValue in class SimplePriorityHeuristic