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

Packages that use StackEntry

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

Uses of StackEntry in dev.civl.gmc.seq

Methods in dev.civl.gmc.seq that return StackEntry

Modifier and Type	Method	Description
StackEntry<STATE,TRANSITION>	SequentialNodeFactory.newStackEntry(SequentialNode<STATE> node, Collection<TRANSITION> transitions, int offset)	Construct a new stack entry which will be pushed onto the stack.

Methods in dev.civl.gmc.seq that return types with arguments of type StackEntry

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

Methods in dev.civl.gmc.seq with parameters of type StackEntry

Modifier and Type	Method	Description
boolean	DfsSearcher.checkStackTrace(StackEntry<STATE,TRANSITION> stackEntry)