Package net.automatalib.automaton.procedural

Class ProceduralGraphView<S,I>

java.lang.Object

net.automatalib.automaton.procedural.ProceduralGraphView<S,I>

Type Parameters:

S - common procedural state type

I - input symbol type

All Implemented Interfaces:

Iterable<Pair<I,S>>, FiniteRepresentation, Graph<Pair<I,S>,Triple<I,I,S>>, IndefiniteGraph<Pair<I,S>,Triple<I,I,S>>, IndefiniteSimpleGraph<Pair<I,S>>, SimpleGraph<Pair<I,S>>

public class ProceduralGraphView<S,I>
extends Object
implements Graph<Pair<I,S>,Triple<I,I,S>>

Graph representation of a ProceduralSystem that displays all states of its sub-procedures once, i.e., without incorporating execution semantics such as stack contents.

Nested Class Summary

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

Graph.IntAbstraction<E>

Constructor Summary

Constructors

Constructor	Description
ProceduralGraphView(Alphabet<I> internalAlphabet, Collection<I> proceduralAlphabet, Map<I,? extends UniversalDeterministicAutomaton<? extends S,I,?,?,?>> subModels)

Method Summary

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

ProceduralGraphView

public ProceduralGraphView(Alphabet<I> internalAlphabet,
                           Collection<I> proceduralAlphabet,
                           Map<I,? extends UniversalDeterministicAutomaton<? extends S,I,?,?,?>> subModels)

Method Detail

getNodes

public Collection<Pair<I,S>> getNodes()

Description copied from interface: SimpleGraph

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

Specified by:

getNodes in interface SimpleGraph<S>

Returns:

the nodes in this graph

getOutgoingEdges

public Collection<Triple<I,I,S>> getOutgoingEdges(Pair<I,S> node)

Description copied from interface: Graph

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

Specified by:

getOutgoingEdges in interface Graph<S,I>

Parameters:

node - the node

Returns:

a collection containing the outgoing edges

getTarget

public Pair<I,S> getTarget(Triple<I,I,S> edge)

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

getTarget in interface IndefiniteGraph<S,I>

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

getVisualizationHelper

public VisualizationHelper<Pair<I,S>,Triple<I,I,S>> getVisualizationHelper()

Description copied from interface: SimpleGraph

Returns the VisualizationHelper that contains information for displaying this graph.

Specified by:

getVisualizationHelper in interface Graph<S,I>

Specified by:

getVisualizationHelper in interface SimpleGraph<S>

Returns:

the visualization helper