Package net.automatalib.graph
Interface MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>
-
- Type Parameters:
N
- node typeL
- edge label typeE
- edge typeAP
- atomic proposition typeTP
- 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>
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 theProceduralModalProcessGraph
.
-
-
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
-
setAtomicPropositions
default void setAtomicPropositions(N node, Set<AP> atomicPropositions)
- Specified by:
setAtomicPropositions
in interfaceMutableKripkeInterpretation<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 belowMutableGraph.addNode(Object)
with anull
parameter.
-
-