gov.nasa.jpf.search.heuristic

Class NewSimplePriorityHeuristic

java.lang.Object

gov.nasa.jpf.search.Search

gov.nasa.jpf.search.heuristic.NewHeuristicSearch

gov.nasa.jpf.search.heuristic.NewSimplePriorityHeuristic

Direct Known Subclasses:

NewBFSHeuristic

public abstract class NewSimplePriorityHeuristic
extends NewHeuristicSearch

a heuristic that is based on static priorities that are determined at state storage time

Field Summary

Fields

Modifier and Type	Field and Description
protected Predicate<ThreadInfo>	aliveThread

Fields inherited from class gov.nasa.jpf.search.heuristic.NewHeuristicSearch

childStates, isBeamSearch, isPathSensitive, parentState, useAstar

Fields inherited from class gov.nasa.jpf.search.Search

config, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, notifyProbeListeners, properties, reporter, stateDepth, vm

Constructor Summary

Constructors

Constructor and Description
NewSimplePriorityHeuristic(Config config, VM vm)

Method Summary

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()

Methods inherited from class gov.nasa.jpf.search.heuristic.NewHeuristicSearch

generateChildren, getChildStates, getParentState, search, setPathSensitive, supportsBacktrack

Methods inherited from class gov.nasa.jpf.search.Search

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

aliveThread

protected Predicate<ThreadInfo> aliveThread

Constructor Detail

NewSimplePriorityHeuristic

public NewSimplePriorityHeuristic(Config config,
                                  VM vm)

Method Detail

computeHeuristicValue

protected abstract int computeHeuristicValue()

computeAstarPathCost

protected int computeAstarPathCost(VM vm)

queueCurrentState

protected HeuristicState queueCurrentState()

Specified by:

queueCurrentState in class NewHeuristicSearch

getNextQueuedState

protected HeuristicState getNextQueuedState()

Specified by:

getNextQueuedState in class NewHeuristicSearch

getQueueSize

public int getQueueSize()

Specified by:

getQueueSize in class NewHeuristicSearch

isQueueLimitReached

public boolean isQueueLimitReached()

Specified by:

isQueueLimitReached in class NewHeuristicSearch