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 the ProceduralModalProcessGraph.

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 the ProceduralModalProcessGraph whose data is stored in an instance of this class.