Package net.automatalib.automaton.graph

Class AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>>

java.lang.Object

net.automatalib.automaton.graph.AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>

net.automatalib.automaton.graph.AutomatonGraphView<S,I,T,A>

All Implemented Interfaces:

Iterable<S>, FiniteRepresentation, Graph<S,TransitionEdge<I,T>>, IndefiniteGraph<S,TransitionEdge<I,T>>, IndefiniteSimpleGraph<S>, SimpleGraph<S>

Direct Known Subclasses:

UniversalAutomatonGraphView

public class AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>>
extends AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>

Nested Class Summary

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

Graph.IntAbstraction<E>

Field Summary

Fields

Modifier and Type	Field	Description
protected Collection<? extends I>	inputs

Fields inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView

automaton

Constructor Summary

Constructors

Constructor	Description
AutomatonGraphView(A automaton, Collection<? extends I> inputs)

Method Summary

Modifier and Type	Method	Description
static <S,I,T> Collection<TransitionEdge<I,T>>	createTransitionEdges(Automaton<S,I,T> automaton, Collection<? extends I> inputs, S state)
Collection<TransitionEdge<I,T>>	getOutgoingEdges(S node)	Retrieves, for a given node, the (finite) collection of all outgoing edges.
S	getTarget(TransitionEdge<I,T> edge)	Retrieves, for a given edge, its target node.
VisualizationHelper<S,TransitionEdge<I,T>>	getVisualizationHelper()	Returns the VisualizationHelper that contains information for displaying this graph.

Methods inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView

createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, 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, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

inputs

protected final Collection<? extends I> inputs

Constructor Detail

AutomatonGraphView

public AutomatonGraphView(A automaton,
                          Collection<? extends I> inputs)

Method Detail

getOutgoingEdges

public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)

Description copied from interface: Graph

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

Parameters:

node - the node

Returns:

a collection containing the outgoing edges

createTransitionEdges

public static <S,I,T> Collection<TransitionEdge<I,T>> createTransitionEdges(Automaton<S,I,T> automaton,
                                                                                              Collection<? extends I> inputs,
                                                                                              S state)

getTarget

public S getTarget(TransitionEdge<I,T> edge)

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

getVisualizationHelper

public VisualizationHelper<S,TransitionEdge<I,T>> getVisualizationHelper()

Description copied from interface: SimpleGraph

Returns the VisualizationHelper that contains information for displaying this graph.

Returns:

the visualization helper