Uses of Interface
net.automatalib.graph.concept.EdgeLabels
-
Packages that use EdgeLabels Package Description net.automatalib.graph This package (including sub-packages) contains the basic classes concerning graphs.net.automatalib.graph.concept -
-
Uses of EdgeLabels in net.automatalib.graph
Subinterfaces of EdgeLabels in net.automatalib.graph Modifier and Type Interface Description interface
FiniteLabeledGraph<N,E,L>
interface
MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>
A mutable version of theProceduralModalProcessGraph
.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 EdgeLabels Modifier and Type Class Description class
CompactPMPG<L,AP>
-
Uses of EdgeLabels in net.automatalib.graph.concept
Subinterfaces of EdgeLabels in net.automatalib.graph.concept Modifier and Type Interface Description interface
MutableEdgeLabels<E,L>
-