Uses of Interface
net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty
-
Packages that use MutableProceduralModalEdgeProperty Package Description net.automatalib.graph This package (including sub-packages) contains the basic classes concerning graphs.net.automatalib.ts.modal.transition -
-
Uses of MutableProceduralModalEdgeProperty in net.automatalib.graph
Classes in net.automatalib.graph with type parameters of type MutableProceduralModalEdgeProperty Modifier and Type Interface Description interface
MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>
A mutable version of theProceduralModalProcessGraph
.Methods in net.automatalib.graph that return types with arguments of type MutableProceduralModalEdgeProperty Modifier and Type Method Description protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>
CompactPMPG. createEdge(int source, int target, @Nullable MutableProceduralModalEdgeProperty property)
Methods in net.automatalib.graph with parameters of type MutableProceduralModalEdgeProperty Modifier and Type Method Description protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>
CompactPMPG. createEdge(int source, int target, @Nullable MutableProceduralModalEdgeProperty property)
Method parameters in net.automatalib.graph with type arguments of type MutableProceduralModalEdgeProperty Modifier and Type Method Description L
CompactPMPG. getEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge)
void
CompactPMPG. setEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge, L label)
-
Uses of MutableProceduralModalEdgeProperty in net.automatalib.ts.modal.transition
Classes in net.automatalib.ts.modal.transition that implement MutableProceduralModalEdgeProperty Modifier and Type Class Description class
ProceduralModalEdgePropertyImpl
-