Package | Description |
---|---|
gov.nasa.jpf.search.heuristic |
Class and Description |
---|
HeuristicSearch
a search strategy class that computes all immediate successors of a given
state, puts them into a priority queue (the priority is provided by a
Heuristic strategy object), and processes states in the sequence of
highest priorities.
|
HeuristicState
wrapper for states that are processed in an order that is
defined by a heuristic (i.e.
|
PrioritizedState
HeuristicState with a scalar, static priority.
|
SimplePriorityHeuristic
a heuristic that is based on static priorities that are determined
at state storage time
|