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

Packages that use DporNode

Package	Description
dev.civl.gmc.dpor

Uses of DporNode in dev.civl.gmc.dpor

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

Modifier and Type	Method	Description
DporNode<STATE,TRANSITION>	DporNodeFactory.getAssociatedNode(STATE state)	Get the node associated to the given state, null if there is no such a node.
DporNode<STATE,TRANSITION>	DporNodeFactory.getInitialNode(STATE initState)	Get the invalid reference SequentialNode associated with the initial state.
DporNode<STATE,TRANSITION>	DporStackEntry.getNode()

Methods in dev.civl.gmc.dpor that return types with arguments of type DporNode

Modifier and Type	Method	Description
Pair<DporNode<STATE,TRANSITION>,Boolean>	DporNodeFactory.getNode(TraceStepIF<STATE> traceStep)	Implements the fly-weight pattern and normalize a state.