MutableProceduralModalProcessGraph (AutomataLib 0.11.0 API)

Type Parameters:

N - node type

L - edge label type

E - edge type

AP - atomic proposition type

TP - edge proposition type

All Superinterfaces:

EdgeLabels<E,L>, FinalNode<N>, FiniteKripkeStructure<N,E,AP>, FiniteLabeledGraph<N,E,L>, FiniteRepresentation, Graph<N,E>, IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>, InitialNode<N>, Iterable<N>, KripkeInterpretation<N,AP>, MutableEdgeLabels<E,L>, MutableGraph<N,E,Set<AP>,TP>, MutableKripkeInterpretation<N,AP>, ProceduralModalProcessGraph<N,L,E,AP,TP>, SimpleGraph<N>, UniversalGraph<N,E,Set<AP>,TP>, UniversalIndefiniteGraph<N,E,Set<AP>,TP>

All Known Implementing Classes:

CompactPMPG
```
public interface MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>
extends ProceduralModalProcessGraph<N,L,E,AP,TP>, MutableGraph<N,E,Set<AP>,TP>, MutableKripkeInterpretation<N,AP>, MutableEdgeLabels<E,L>
```
A mutable version of the ProceduralModalProcessGraph.

Nested Class Summary
- Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
  Graph.IntAbstraction<E>
- Nested classes/interfaces inherited from interface net.automatalib.graph.MutableGraph
  MutableGraph.IntAbstraction<E,NP,EP>
- Nested classes/interfaces inherited from interface net.automatalib.graph.UniversalGraph
  UniversalGraph.IntAbstraction<E,NP,EP>

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`default N`	`addNode()`	Adds a new node with default properties to the graph.
`default void`	`setAtomicPropositions(N node, Set<AP> atomicPropositions)`
`void`	`setFinalNode(@Nullable N finalNode)`
`void`	`setInitialNode(@Nullable N initialNode)`

Methods inherited from interface net.automatalib.graph.concept.EdgeLabels
getEdgeLabel

Methods inherited from interface net.automatalib.graph.concept.FinalNode
getFinalNode

Methods inherited from interface net.automatalib.graph.Graph
getAdjacentNodes, getOutgoingEdges, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph
getAdjacentNodesIterator, getEdgesBetween, getTarget

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph
createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface net.automatalib.graph.concept.InitialNode
getInitialNode

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Methods inherited from interface net.automatalib.graph.concept.MutableEdgeLabels
setEdgeLabel

Methods inherited from interface net.automatalib.graph.MutableGraph
addNode, connect, connect, setEdgeProperty, setNodeProperty

Methods inherited from interface net.automatalib.graph.ProceduralModalProcessGraph
getAtomicPropositions, getVisualizationHelper

Methods inherited from interface net.automatalib.graph.SimpleGraph
getNodes, iterator, nodeIDs, size

Methods inherited from interface net.automatalib.graph.UniversalIndefiniteGraph
getEdgeProperty, getNodeProperty

- Method Detail
  - setInitialNode
```
void setInitialNode(@Nullable N initialNode)
```
  - setFinalNode
```
void setFinalNode(@Nullable N finalNode)
```
  - setAtomicPropositions
```
default void setAtomicPropositions(N node,
                                   Set<AP> atomicPropositions)
```
    Specified by:
    
    setAtomicPropositions in interface MutableKripkeInterpretation<N,L>
  - addNode
```
default N addNode()
```
    Description copied from interface: MutableGraph
    
    Adds a new node with default properties to the graph. This method behaves equivalently to the below MutableGraph.addNode(Object) with a null parameter.
    
    Specified by:
    
    addNode in interface MutableGraph<N,L,E,AP>
    
    Returns:
    
    the newly inserted node