net.automatalib.automata.graphs

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

java.lang.Object

net.automatalib.automata.graphs.AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>

net.automatalib.automata.graphs.AutomatonGraphView<S,I,T,A>

All Implemented Interfaces:

Iterable<S>, 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.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Field Summary

Fields

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

Fields inherited from class net.automatalib.automata.graphs.AbstractAutomatonGraphView

automaton

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static <S,I,T,A extends Automaton<S,I,T> & InputAlphabetHolder<I>> AutomatonGraphView<S,I,T,A>	create(A automaton)
static <S,I,T,A extends Automaton<S,I,T>> AutomatonGraphView<S,I,T,A>	create(A automaton, Collection<? extends I> inputs)
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 the outgoing edges of a given node.
S	getTarget(TransitionEdge<I,T> edge) Retrieves, for a given edge, its target node.
VisualizationHelper<S,TransitionEdge<I,T>>	getVisualizationHelper()

Methods inherited from class net.automatalib.automata.graphs.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.graphs.Graph

asNormalGraph

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

nodesStream

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

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

create

public static <S,I,T,A extends Automaton<S,I,T>> AutomatonGraphView<S,I,T,A> create(A automaton,
                                                                                    Collection<? extends I> inputs)

create

public static <S,I,T,A extends Automaton<S,I,T> & InputAlphabetHolder<I>> AutomatonGraphView<S,I,T,A> create(A automaton)

getOutgoingEdges

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

Description copied from interface: IndefiniteGraph

Retrieves the outgoing edges of a given node.

Parameters:

node - the node.

Returns:

a Collection of all outgoing edges, or null if the node has no 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()