Package net.automatalib.graph

Class CFMPSGraphView<N,L,E,AP>

java.lang.Object

net.automatalib.graph.CFMPSGraphView<N,L,E,AP>

Type Parameters:

N - common node type

L - label type

E - edge type

AP - atomic proposition type

All Implemented Interfaces:

Iterable<Pair<L,N>>, FiniteRepresentation, Graph<Pair<L,N>,Pair<L,E>>, IndefiniteGraph<Pair<L,N>,Pair<L,E>>, IndefiniteSimpleGraph<Pair<L,N>>, SimpleGraph<Pair<L,N>>

public class CFMPSGraphView<N,L,E,AP>
extends Object
implements Graph<Pair<L,N>,Pair<L,E>>

Graph representation of a ContextFreeModalProcessSystem that displays all nodes of its sub-procedures once, i.e., without incorporating execution semantics such as expansion.

Nested Class Summary

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

Graph.IntAbstraction<E>

Constructor Summary

Constructors

Constructor	Description
CFMPSGraphView(Map<L,? extends ProceduralModalProcessGraph<? extends N,L,? extends E,AP,?>> pmpgs)

Method Summary

Modifier and Type	Method	Description
Collection<Pair<L,N>>	getNodes()	Retrieves an (unmodifiable) collection of the nodes in this graph.
Collection<Pair<L,E>>	getOutgoingEdges(Pair<L,N> node)	Retrieves, for a given node, the (finite) collection of all outgoing edges.
Pair<L,N>	getTarget(Pair<L,E> edge)	Retrieves, for a given edge, its target node.
VisualizationHelper<Pair<L,N>,Pair<L,E>>	getVisualizationHelper()	Returns the VisualizationHelper that contains information for displaying this graph.

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, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween

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.SimpleGraph

iterator, nodeIDs, size

Constructor Detail

CFMPSGraphView

public CFMPSGraphView(Map<L,? extends ProceduralModalProcessGraph<? extends N,L,? extends E,AP,?>> pmpgs)

Method Detail

getOutgoingEdges

public Collection<Pair<L,E>> getOutgoingEdges(Pair<L,N> node)

Description copied from interface: Graph

Retrieves, for a given node, the (finite) collection of all outgoing edges.

Specified by:

getOutgoingEdges in interface Graph<N,L>

Parameters:

node - the node

Returns:

a collection containing the outgoing edges

getTarget

public Pair<L,N> getTarget(Pair<L,E> edge)

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

getTarget in interface IndefiniteGraph<N,L>

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

getNodes

public Collection<Pair<L,N>> getNodes()

Description copied from interface: SimpleGraph

Retrieves an (unmodifiable) collection of the nodes in this graph.

Specified by:

getNodes in interface SimpleGraph<N>

Returns:

the nodes in this graph

getVisualizationHelper

public VisualizationHelper<Pair<L,N>,Pair<L,E>> getVisualizationHelper()

Description copied from interface: SimpleGraph

Returns the VisualizationHelper that contains information for displaying this graph.

Specified by:

getVisualizationHelper in interface Graph<N,L>

Specified by:

getVisualizationHelper in interface SimpleGraph<N>

Returns:

the visualization helper