Uses of Class
gov.nasa.jpf.search.heuristic.HeuristicState

Packages that use HeuristicState

Package	Description
gov.nasa.jpf.search.heuristic

Uses of HeuristicState in gov.nasa.jpf.search.heuristic

Subclasses of HeuristicState in gov.nasa.jpf.search.heuristic

Modifier and Type	Class and Description
class	PrioritizedState HeuristicState with a scalar, static priority.

Fields in gov.nasa.jpf.search.heuristic declared as HeuristicState

Modifier and Type	Field and Description
protected HeuristicState	HeuristicSearch.parentState

Fields in gov.nasa.jpf.search.heuristic with type parameters of type HeuristicState

Modifier and Type	Field and Description
protected List<HeuristicState>	HeuristicSearch.childStates

Methods in gov.nasa.jpf.search.heuristic that return HeuristicState

Modifier and Type	Method and Description
protected abstract HeuristicState	HeuristicSearch.getNextQueuedState()
protected HeuristicState	SimplePriorityHeuristic.getNextQueuedState()
HeuristicState	HeuristicSearch.getParentState()
protected abstract HeuristicState	HeuristicSearch.queueCurrentState()
protected HeuristicState	SimplePriorityHeuristic.queueCurrentState()

Methods in gov.nasa.jpf.search.heuristic that return types with arguments of type HeuristicState

Modifier and Type	Method and Description
List<HeuristicState>	HeuristicSearch.getChildStates()