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

Packages that use StackEntry

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

Uses of StackEntry in dev.civl.gmc.concurrent

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

Modifier and Type	Method	Description
StackEntry<STATE,TRANSITION>	ConcurrentNodeFactory.newStackEntry(ConcurrentNode<STATE> node, Collection<TRANSITION> transitions, boolean full)	Construct a new stack entry which will be pushed onto the stack.