Uses of Interface
dev.civl.gmc.TransitionChooser

Packages that use TransitionChooser

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.

Uses of TransitionChooser in dev.civl.gmc

Classes in dev.civl.gmc that implement TransitionChooser

Modifier and Type	Class	Description
class	GuidedTransitionChooser<STATE,TRANSITION>	Transition Chooser which makes its choice using an explicit "guide".
class	RandomTransitionChooser<STATE,TRANSITION>	An implementation of TransitionChooser in which a transition is chosen randomly from the full set of the enabled transitions enabled at a state.

Methods in dev.civl.gmc with parameters of type TransitionChooser

Modifier and Type	Method	Description
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)