Uses of Class
dev.civl.gmc.concurrent.ConcurrentStateManagerIF

Packages that use ConcurrentStateManagerIF

Package	Description
dev.civl.gmc.concurrent	This package provides concurrent generic model checking functionality.

Uses of ConcurrentStateManagerIF in dev.civl.gmc.concurrent

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

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