Package net.automatalib.automaton.vpa

Class SEVPAGraphView<L,I>

java.lang.Object

net.automatalib.automaton.vpa.SEVPAGraphView<L,I>

All Implemented Interfaces:

Iterable<L>, FiniteRepresentation, Graph<L,SEVPAGraphView.SevpaViewEdge<L,I>>, IndefiniteGraph<L,SEVPAGraphView.SevpaViewEdge<L,I>>, IndefiniteSimpleGraph<L>, SimpleGraph<L>

public class SEVPAGraphView<L,I>
extends Object
implements Graph<L,SEVPAGraphView.SevpaViewEdge<L,I>>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SEVPAGraphView.SevpaViewEdge<S,I>

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

Graph.IntAbstraction<E>

Constructor Summary

Constructors

Constructor	Description
SEVPAGraphView(SEVPA<L,I> sevpa)

Method Summary

Modifier and Type	Method	Description
Collection<L>	getNodes()	Retrieves an (unmodifiable) collection of the nodes in this graph.
Collection<SEVPAGraphView.SevpaViewEdge<L,I>>	getOutgoingEdges(L location)	Retrieves, for a given node, the (finite) collection of all outgoing edges.
L	getTarget(SEVPAGraphView.SevpaViewEdge<L,I> edge)	Retrieves, for a given edge, its target node.
VisualizationHelper<L,SEVPAGraphView.SevpaViewEdge<L,I>>	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

SEVPAGraphView

public SEVPAGraphView(SEVPA<L,I> sevpa)

Method Detail

getNodes

public Collection<L> getNodes()

Description copied from interface: SimpleGraph

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

Specified by:

getNodes in interface SimpleGraph<L>

Returns:

the nodes in this graph

getOutgoingEdges

public Collection<SEVPAGraphView.SevpaViewEdge<L,I>> getOutgoingEdges(L location)

Description copied from interface: Graph

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

Specified by:

getOutgoingEdges in interface Graph<L,I>

Parameters:

location - the node

Returns:

a collection containing the outgoing edges

getTarget

public L getTarget(SEVPAGraphView.SevpaViewEdge<L,I> edge)

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

getTarget in interface IndefiniteGraph<L,I>

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

getVisualizationHelper

public VisualizationHelper<L,SEVPAGraphView.SevpaViewEdge<L,I>> getVisualizationHelper()

Description copied from interface: SimpleGraph

Returns the VisualizationHelper that contains information for displaying this graph.

Specified by:

getVisualizationHelper in interface Graph<L,I>

Specified by:

getVisualizationHelper in interface SimpleGraph<L>

Returns:

the visualization helper