Uses of Class
dev.civl.gmc.seq.StateManager

Packages that use StateManager

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

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

Modifier	Constructor	Description
	Simulator(StateManager<STATE,TRANSITION> manager, PrintStream out)

Uses of StateManager in dev.civl.gmc.concurrent

Subclasses of StateManager in dev.civl.gmc.concurrent

Modifier and Type	Class	Description
class	ConcurrentStateManagerIF<STATE,TRANSITION>	A ConcurrentStateManager is used by a ConcurrentDfsSearcher which encapsulates all methods that are needed by ConcurrentDfsSearcher on STATE.

Uses of StateManager in dev.civl.gmc.dpor

Methods in dev.civl.gmc.dpor with parameters of type StateManager

Modifier and Type	Method	Description
boolean	DporStackEntry.nextTransition(StateManager<STATE,TRANSITION> manager)	Increments to the next outgoing transition to be explored from the current state, moving to the next process in the backtrack set if necessary.

Constructors in dev.civl.gmc.dpor with parameters of type StateManager

Modifier	Constructor	Description
	DporDfsSearcher(DependencyAnalyzer<STATE,TRANSITION> analyzer, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig)
	DporDfsSearcher(DependencyAnalyzer<STATE,TRANSITION> analyzer, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig, PrintStream debugOut)	Constructs a new depth first search searcher.
	DporNodeFactory(StateManager<STATE,TRANSITION> stateManager, boolean saveStates)

Uses of StateManager in dev.civl.gmc.seq

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

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.
	SequentialNodeFactory(StateManager<STATE,TRANSITION> stateManager, boolean saveStates)

Uses of StateManager in dev.civl.gmc.smc

Subclasses of StateManager in dev.civl.gmc.smc

Modifier and Type	Class	Description
class	SimpleStateManager	The implementation of the interface StateManager used by SMC.