Uses of Class
dev.civl.gmc.util.Pair

Packages that use Pair

Package	Description
dev.civl.gmc.dpor

Uses of Pair in dev.civl.gmc.dpor

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

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