Uses of Class
dev.civl.gmc.smc.MatrixDirectedGraph

Packages that use MatrixDirectedGraph

Package	Description
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Uses of MatrixDirectedGraph in dev.civl.gmc.smc

Methods in dev.civl.gmc.smc with parameters of type MatrixDirectedGraph

Modifier and Type	Method	Description
boolean	SMC.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, GMCConfiguration config)	For a given MatrixDirectedGraph graph and a predicate implementing StatePredicateIF, If the predicate is hold, true will be returned, else false. Note that the default starting state is the state with id of 0
boolean	SMC.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, Integer initialState, GMCConfiguration config)	For a given MatrixDirectedGraph graph, a predicate implementing StatePredicateIF and a starting state initialState, If the predicate is hold, true will be returned, else false.
Trace<String,Integer>	SMCSimulator.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate)
Trace<String,Integer>	SMCSimulator.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, Integer initialState)

Constructors in dev.civl.gmc.smc with parameters of type MatrixDirectedGraph

Modifier	Constructor	Description
	SimpleStateManager(MatrixDirectedGraph graph)
	SMCEnabler(MatrixDirectedGraph graph)