Package net.automatalib.automaton.fsa

Class FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

java.lang.Object

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

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

net.automatalib.automaton.graph.UniversalAutomatonGraphView<S,I,S,Boolean,Void,A>

net.automatalib.automaton.fsa.FiniteStateAcceptor.FSAGraphView<S,I,A>

All Implemented Interfaces:

Iterable<S>, FiniteRepresentation, Graph<S,TransitionEdge<I,S>>, IndefiniteGraph<S,TransitionEdge<I,S>>, IndefiniteSimpleGraph<S>, SimpleGraph<S>, UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>>, UniversalIndefiniteGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>>

Enclosing interface:

FiniteStateAcceptor<S,I>

public static class FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
extends UniversalAutomatonGraphView<S,I,S,Boolean,Void,A>

Nested Class Summary

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

Graph.IntAbstraction<E>

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

UniversalGraph.IntAbstraction<E,NP,EP>

Field Summary

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

inputs

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

automaton

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
VisualizationHelper<S,TransitionEdge<I,S>>	getVisualizationHelper()	Returns the VisualizationHelper that contains information for displaying this graph.

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

getEdgeProperty, getNodeProperty

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

createTransitionEdges, getOutgoingEdges, getTarget

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, getOutgoingEdges, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween, getTarget

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

getNodes, iterator, nodeIDs, size

Constructor Detail

FSAGraphView

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

Method Detail

getVisualizationHelper

public VisualizationHelper<S,TransitionEdge<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>

Overrides:

getVisualizationHelper in class AutomatonGraphView<S,I,S,A extends FiniteStateAcceptor<S,I>>

Returns:

the visualization helper