Uses of Interface
net.automatalib.graph.concept.FinalNode

Packages that use FinalNode

Package	Description
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.

Uses of FinalNode in net.automatalib.graph

Subinterfaces of FinalNode in net.automatalib.graph

Modifier and Type	Interface	Description
interface	MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>	A mutable version of the ProceduralModalProcessGraph.
interface	ProceduralModalProcessGraph<N,L,E,AP,TP extends ProceduralModalEdgeProperty>	Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.

Classes in net.automatalib.graph that implement FinalNode

Modifier and Type	Class	Description
class	CompactPMPG<L,AP>