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

Packages that use DfsSearcher

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.

Uses of DfsSearcher in dev.civl.gmc

Methods in dev.civl.gmc that return DfsSearcher

Modifier and Type	Method	Description
DfsSearcher<?,?>	ErrorLog.searcher()

Methods in dev.civl.gmc with parameters of type DfsSearcher

Modifier and Type	Method	Description
void	ErrorLog.setSearcher(DfsSearcher<?,?> searcher)