Uses of Class
dev.civl.gmc.Trace

Packages that use Trace

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 Trace in dev.civl.gmc

Methods in dev.civl.gmc that return Trace

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)

Uses of Trace in dev.civl.gmc.smc

Methods in dev.civl.gmc.smc that return Trace

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)