Uses of Interface
dev.civl.gmc.seq.EnablerIF

Packages that use EnablerIF

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.concurrent	This package provides concurrent generic model checking functionality.
dev.civl.gmc.seq	This package provides sequential generic model checking functionality.
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Uses of EnablerIF in dev.civl.gmc

Constructors in dev.civl.gmc with parameters of type EnablerIF

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

Uses of EnablerIF in dev.civl.gmc.concurrent

Constructors in dev.civl.gmc.concurrent with parameters of type EnablerIF

Modifier	Constructor	Description
	ConcurrentDfsSearcher(EnablerIF<STATE,TRANSITION> enabler, ConcurrentStateManagerIF<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, int N)

Uses of EnablerIF in dev.civl.gmc.seq

Constructors in dev.civl.gmc.seq with parameters of type EnablerIF

Modifier	Constructor	Description
	DfsSearcher(EnablerIF<STATE,TRANSITION> enabler, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig)
	DfsSearcher(EnablerIF<STATE,TRANSITION> enabler, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig, PrintStream debugOut)	Constructs a new depth first search searcher.

Uses of EnablerIF in dev.civl.gmc.smc

Classes in dev.civl.gmc.smc that implement EnablerIF

Modifier and Type	Class	Description
class	SMCEnabler	The implementation of EnablerIF used by SMC.