Uses of Interface
net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
-
Packages that use ProceduralModalEdgeProperty Package Description net.automatalib.graph This package (including sub-packages) contains the basic classes concerning graphs.net.automatalib.ts.modal.transition -
-
Uses of ProceduralModalEdgeProperty in net.automatalib.graph
Classes in net.automatalib.graph with type parameters of type ProceduralModalEdgeProperty Modifier and Type Interface Description 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. -
Uses of ProceduralModalEdgeProperty in net.automatalib.ts.modal.transition
Subinterfaces of ProceduralModalEdgeProperty in net.automatalib.ts.modal.transition Modifier and Type Interface Description interface
MutableProceduralModalEdgeProperty
Classes in net.automatalib.ts.modal.transition that implement ProceduralModalEdgeProperty Modifier and Type Class Description class
ProceduralModalEdgePropertyImpl
-