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

Packages that use SequentialNode

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

Uses of SequentialNode in dev.civl.gmc.seq

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

Modifier and Type	Method	Description
SequentialNode<STATE>	SequentialNodeFactory.getInitialNode(STATE initState)	Get the SequentialNode associated with the initial state.
SequentialNode<STATE>	SequentialNodeFactory.getNode(TraceStepIF<STATE> traceStep)	Implements the fly-weight pattern and normalize a state.
SequentialNode<STATE>	SequentialNodeFactory.getNode(STATE state)	Get the node associated to the given state, null there is no such a node.
SequentialNode<STATE>	StackEntry.getNode()

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

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.

Constructors in dev.civl.gmc.seq with parameters of type SequentialNode

Modifier	Constructor	Description
	StackEntry(SequentialNode<STATE> node, Collection<TRANSITION> transitions, int offset)