Uses of Interface
dev.civl.gmc.GetIdFunction

Packages that use GetIdFunction

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

Uses of GetIdFunction in dev.civl.gmc.dpor

Classes in dev.civl.gmc.dpor that implement GetIdFunction

Modifier and Type	Class	Description
class	DporNodeFactory<STATE,TRANSITION>

Uses of GetIdFunction in dev.civl.gmc.seq

Classes in dev.civl.gmc.seq that implement GetIdFunction

Modifier and Type	Class	Description
class	SequentialNodeFactory<STATE,TRANSITION>	The factory to get a GMC search SequentialNode, if the SequentialNode has been seen before, the seen SequentialNode will be returned, otherwise, a new SequentialNode will be created and returned.

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

Modifier and Type	Method	Description
void	StateManager.setGetIdFunction(GetIdFunction<STATE> getIdFunc)