Uses of Class
dev.civl.gmc.dpor.DporSearchStack

Packages that use DporSearchStack

Package	Description
dev.civl.gmc.dpor

Uses of DporSearchStack in dev.civl.gmc.dpor

Methods in dev.civl.gmc.dpor that return DporSearchStack

Modifier and Type	Method	Description
DporSearchStack<STATE,TRANSITION>	DporDfsSearcher.stack()	Returns the stack used to perform the depth first search

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

Modifier and Type	Method	Description
boolean	DependencyAnalyzer.checkDependent(DporSearchStack<STATE,TRANSITION> stack, int stackIndex, int pid)	Checks whether the transition at "stackIndex" in the stack is dependent with process pid