Uses of Interface
net.automatalib.graph.ProceduralModalProcessGraph
-
Packages that use ProceduralModalProcessGraph Package Description net.automatalib.graph This package (including sub-packages) contains the basic classes concerning graphs.net.automatalib.graph.visualization net.automatalib.modelchecker.m3c.solver -
-
Uses of ProceduralModalProcessGraph in net.automatalib.graph
Subinterfaces of ProceduralModalProcessGraph in net.automatalib.graph Modifier and Type Interface Description interface
MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>
A mutable version of theProceduralModalProcessGraph
.Classes in net.automatalib.graph that implement ProceduralModalProcessGraph Modifier and Type Class Description class
CompactPMPG<L,AP>
Methods in net.automatalib.graph that return types with arguments of type ProceduralModalProcessGraph Modifier and Type Method Description Map<L,ProceduralModalProcessGraph<?,L,?,AP,?>>
ContextFreeModalProcessSystem. getPMPGs()
Map<L,ProceduralModalProcessGraph<?,L,?,AP,?>>
DefaultCFMPS. getPMPGs()
Constructor parameters in net.automatalib.graph with type arguments of type ProceduralModalProcessGraph Constructor Description CFMPSGraphView(Map<L,? extends ProceduralModalProcessGraph<? extends N,L,? extends E,AP,?>> pmpgs)
DefaultCFMPS(L mainProcess, Map<L,? extends ProceduralModalProcessGraph<?,L,?,AP,?>> pmpgs)
-
Uses of ProceduralModalProcessGraph in net.automatalib.graph.visualization
Constructors in net.automatalib.graph.visualization with parameters of type ProceduralModalProcessGraph Constructor Description PMPGVisualizationHelper(ProceduralModalProcessGraph<N,?,E,AP,?> pmpg)
Constructor parameters in net.automatalib.graph.visualization with type arguments of type ProceduralModalProcessGraph Constructor Description CFMPSVisualizationHelper(Map<L,? extends ProceduralModalProcessGraph<? extends N,L,? extends E,?,?>> pmpgs)
-
Uses of ProceduralModalProcessGraph in net.automatalib.modelchecker.m3c.solver
Fields in net.automatalib.modelchecker.m3c.solver declared as ProceduralModalProcessGraph Modifier and Type Field Description ProceduralModalProcessGraph<N,L,E,AP,?>
WitnessTreeState. pmpg
Methods in net.automatalib.modelchecker.m3c.solver that return ProceduralModalProcessGraph Modifier and Type Method Description ProceduralModalProcessGraph<N,L,?,AP,?>
SolverData. getPmpg()
Returns theProceduralModalProcessGraph
whose data is stored in an instance of this class.
-