Uses of Class
dev.civl.gmc.MisguidedExecutionException

Packages that use MisguidedExecutionException

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Uses of MisguidedExecutionException in dev.civl.gmc

Methods in dev.civl.gmc that throw MisguidedExecutionException

Modifier and Type	Method	Description
TRANSITION	GuidedTransitionChooser.chooseEnabledTransition(STATE state)
TRANSITION	RandomTransitionChooser.chooseEnabledTransition(STATE state)
TRANSITION	TransitionChooser.chooseEnabledTransition(STATE state)	Using some protocol, chooses one of the transitions enabled at the given state.
Trace<TRANSITION,STATE>[]	Simulator.play(STATE[] states, boolean[] print, String[] names, TransitionChooser<STATE,TRANSITION> chooser, boolean verbose)	Plays the trace.
Trace<TRANSITION,STATE>[]	Simulator.play(STATE initialState, TransitionChooser<STATE,TRANSITION> chooser, boolean verbose)
Trace<TRANSITION,STATE>[]	Simulator.play(STATE initialSymbolicState, STATE initialConcreteState, boolean printSymbolicStates, TransitionChooser<STATE,TRANSITION> chooser, boolean verbose)

Constructors in dev.civl.gmc that throw MisguidedExecutionException

Modifier	Constructor	Description
	GuidedTransitionChooser(EnablerIF<STATE,TRANSITION> enabler, File traceFile)

Uses of MisguidedExecutionException in dev.civl.gmc.smc

Methods in dev.civl.gmc.smc that throw MisguidedExecutionException

Modifier and Type	Method	Description
Trace<String,Integer>	SMCSimulator.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate)
Trace<String,Integer>	SMCSimulator.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, Integer initialState)