Package | Description |
---|---|
gov.nasa.jpf.search.heuristic |
Modifier and Type | Class and Description |
---|---|
class |
BFSHeuristic
breadth first search
|
class |
DFSHeuristic
heuristic state prioritizer that favors search depth
|
class |
GlobalSwitchThread
heuristic state prioritizer that tries to minimize re-scheduling
|
class |
Interleaving
Heuristic to maximize thread interleavings.
|
class |
MinimizePreemption
a simple heuristic that tries to minimize preemptive scheduling, i.e.
|
class |
MostBlocked
Heuristic state prioriizer that maximizes number of blocked states.
|
class |
PreferThreads
a heuristic state prioritizer that favors certain threads (specified
by thread names during initialization)
<2do> for both efficiency and encapsulation reasons, this should be just
a Scheduler policy (so that we don't have to expand all children)
|
class |
RandomHeuristic
heuristic state prioritizer that returns random priority values
|
class |
UserHeuristic
heuristic state prioritizer that uses fields of the Main class under test
to determine priorities (i.e.
|