ContextFreeModalProcessSystem (AutomataLib 0.11.0 API)

Type Parameters:

L - edge label type

AP - atomic proposition type

All Superinterfaces:

FiniteRepresentation, GraphViewable

All Known Implementing Classes:

DefaultCFMPS
```
public interface ContextFreeModalProcessSystem<L,AP>
extends FiniteRepresentation, GraphViewable
```
Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking. Note that we use the term process system from the original paper to prevent confusion with AutomataLib's concept of TransitionSystems.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`@Nullable L`	`getMainProcess()`
`Map<L,ProceduralModalProcessGraph<?,L,?,AP,?>>`	`getPMPGs()`
`default Graph<?,?>`	`graphView()`
`default int`	`size()`	Returns the number of entities required to represent this system.

- Method Detail
  - getPMPGs
```
Map<L,ProceduralModalProcessGraph<?,L,?,AP,?>> getPMPGs()
```
  - getMainProcess
```
@Nullable L getMainProcess()
```
  - size
```
default int size()
```
    Description copied from interface: FiniteRepresentation
    
    Returns the number of entities required to represent this system.
    
    Specified by:
    
    size in interface FiniteRepresentation
    
    Returns:
    
    the number of entities required to represent this system
  - graphView
```
default Graph<?,?> graphView()
```
    Specified by:
    
    graphView in interface GraphViewable