Class ProceduralGraphView<S,I>
- java.lang.Object
-
- net.automatalib.automaton.procedural.ProceduralGraphView<S,I>
-
- Type Parameters:
S
- common procedural state typeI
- 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 aProceduralSystem
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
All Methods Instance Methods Concrete Methods 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 theVisualizationHelper
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 interfaceSimpleGraph<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 interfaceGraph<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 interfaceIndefiniteGraph<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 theVisualizationHelper
that contains information for displaying this graph.- Specified by:
getVisualizationHelper
in interfaceGraph<S,I>
- Specified by:
getVisualizationHelper
in interfaceSimpleGraph<S>
- Returns:
- the visualization helper
-
-