Uses of Interface
dev.civl.gmc.dpor.DependencyAnalyzer

Packages that use DependencyAnalyzer

Package	Description
dev.civl.gmc.dpor

Uses of DependencyAnalyzer in dev.civl.gmc.dpor

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

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.