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

Packages that use ConcurrentNode

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

Uses of ConcurrentNode in dev.civl.gmc.concurrent

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

Modifier and Type	Method	Description
ConcurrentNode<STATE>	ConcurrentNodeFactory.getNode(STATE state)	Implements the fly-weight pattern.
ConcurrentNode<STATE>	StackEntry.getNode()

Methods in dev.civl.gmc.concurrent with parameters of type ConcurrentNode

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.

Constructors in dev.civl.gmc.concurrent with parameters of type ConcurrentNode

Modifier	Constructor	Description
	StackEntry(ConcurrentNode<STATE> node, Collection<TRANSITION> transitions, boolean full)