Package net.automatalib.graph
Class CompactPMPG<L,AP>
- java.lang.Object
-
- net.automatalib.graph.base.AbstractCompactGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
-
- net.automatalib.graph.CompactPMPG<L,AP>
-
- All Implemented Interfaces:
Iterable<Integer>
,FiniteRepresentation
,EdgeLabels<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,L>
,FinalNode<Integer>
,InitialNode<Integer>
,KripkeInterpretation<Integer,AP>
,MutableEdgeLabels<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,L>
,MutableKripkeInterpretation<Integer,AP>
,NodeIDs<Integer>
,FiniteKripkeStructure<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP>
,FiniteLabeledGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,L>
,Graph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>>
,Graph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>>
,IndefiniteGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>>
,IndefiniteSimpleGraph<Integer>
,MutableGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
,MutableGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
,MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>
,ProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>
,SimpleGraph<Integer>
,SimpleGraph.IntAbstraction
,UniversalGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
,UniversalGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
,UniversalIndefiniteGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
public class CompactPMPG<L,AP> extends AbstractCompactGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty> implements MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>
-
-
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>
-
-
Constructor Summary
Constructors Constructor Description CompactPMPG(L defaultLabel)
-
Method Summary
-
Methods inherited from class net.automatalib.graph.base.AbstractCompactGraph
addIntNode, addNode, connect, connect, getEdgeProperty, getIntTarget, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getOutgoingEdges, getTarget, nodeIDs, setEdgeProperty, setNodeProperty, size
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.graph.Graph
getAdjacentNodes, getOutgoingEdges, getOutgoingEdgesIterator
-
Methods inherited from interface net.automatalib.graph.Graph.IntAbstraction
getEdgesBetween, getOutgoingEdgesIterator, isConnected
-
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 java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.graph.MutableGraph
addNode, connect, connect, setEdgeProperty, setNodeProperty
-
Methods inherited from interface net.automatalib.graph.MutableGraph.IntAbstraction
addIntNode, connect
-
Methods inherited from interface net.automatalib.graph.MutableProceduralModalProcessGraph
addNode, setAtomicPropositions
-
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
-
-
-
-
Constructor Detail
-
CompactPMPG
public CompactPMPG(L defaultLabel)
-
-
Method Detail
-
setInitialNode
public void setInitialNode(@Nullable Integer initialNode)
- Specified by:
setInitialNode
in interfaceMutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>
-
setFinalNode
public void setFinalNode(@Nullable Integer finalNode)
- Specified by:
setFinalNode
in interfaceMutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>
-
getEdgeLabel
public L getEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge)
Description copied from interface:EdgeLabels
Retrieves the label for an edge.- Specified by:
getEdgeLabel
in interfaceEdgeLabels<L,AP>
- Parameters:
edge
- the edge- Returns:
- the label for the given edge
-
setEdgeLabel
public void setEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge, L label)
- Specified by:
setEdgeLabel
in interfaceMutableEdgeLabels<L,AP>
-
getFinalNode
public @Nullable Integer getFinalNode()
Description copied from interface:FinalNode
Retrieves the final node, ornull
if this graph does not have a final node.- Specified by:
getFinalNode
in interfaceFinalNode<L>
- Returns:
- the final node.
-
getInitialNode
public @Nullable Integer getInitialNode()
Description copied from interface:InitialNode
Retrieves the initial node, ornull
if this graph does not have an initial node.- Specified by:
getInitialNode
in interfaceInitialNode<L>
- Returns:
- the initial node.
-
setNodeProperty
public void setNodeProperty(int node, @Nullable Set<AP> property)
Description copied from interface:MutableGraph.IntAbstraction
Int-abstracted version ofMutableGraph.setNodeProperty(Object, Object)
.- Specified by:
setNodeProperty
in interfaceMutableGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
-
createEdge
protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> createEdge(int source, int target, @Nullable MutableProceduralModalEdgeProperty property)
- Specified by:
createEdge
in classAbstractCompactGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
-
getNodeProperty
public Set<AP> getNodeProperty(int node)
Description copied from interface:UniversalGraph.IntAbstraction
Int-abstracted version ofUniversalIndefiniteGraph.getNodeProperty(Object)
.- Specified by:
getNodeProperty
in interfaceUniversalGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
-
-