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 extends Object>

Nested classes/interfaces inherited from interface net.automatalib.graph.MutableGraph

MutableGraph.IntAbstraction<E extends Object,NP extends Object,EP extends Object>

Nested classes/interfaces inherited from interface net.automatalib.graph.UniversalGraph

UniversalGraph.IntAbstraction<E extends Object,NP extends Object,EP extends Object>

Constructor Summary

Constructors

Constructor	Description
CompactPMPG(L defaultLabel)

Method Summary

Modifier and Type	Method	Description
protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>	createEdge(int source, int target, @Nullable MutableProceduralModalEdgeProperty property)
L	getEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge)
@Nullable Integer	getFinalNode()
@Nullable Integer	getInitialNode()
Set<AP>	getNodeProperty(int node)
void	setEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge, L label)
void	setFinalNode(@Nullable Integer finalNode)
void	setInitialNode(@Nullable Integer initialNode)
void	setNodeProperty(int node, @Nullable Set<AP> property)

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 interface MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>

setFinalNode

public void setFinalNode(@Nullable Integer finalNode)

Specified by:

setFinalNode in interface MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>

getEdgeLabel

public L getEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge)

Specified by:

getEdgeLabel in interface EdgeLabels<L,AP>

setEdgeLabel

public void setEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge,
                         L label)

Specified by:

setEdgeLabel in interface MutableEdgeLabels<L,AP>

getFinalNode

public @Nullable Integer getFinalNode()

Specified by:

getFinalNode in interface FinalNode<L>

getInitialNode

public @Nullable Integer getInitialNode()

Specified by:

getInitialNode in interface InitialNode<L>

setNodeProperty

public void setNodeProperty(int node,
                            @Nullable Set<AP> property)

Specified by:

setNodeProperty in interface MutableGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

createEdge

protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> createEdge(int source,
                                                                                 int target,
                                                                                 @Nullable MutableProceduralModalEdgeProperty property)

Specified by:

createEdge in class AbstractCompactGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

getNodeProperty

public Set<AP> getNodeProperty(int node)

Specified by:

getNodeProperty in interface UniversalGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>