Package | Description |
---|---|
gov.nasa.jpf.search.heuristic |
Modifier and Type | Class and Description |
---|---|
class |
PrioritizedState
HeuristicState with a scalar, static priority.
|
Modifier and Type | Field and Description |
---|---|
protected HeuristicState |
HeuristicSearch.parentState |
Modifier and Type | Field and Description |
---|---|
protected List<HeuristicState> |
HeuristicSearch.childStates |
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() |
Modifier and Type | Method and Description |
---|---|
List<HeuristicState> |
HeuristicSearch.getChildStates() |