net.automatalib.automata.fsa

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

java.lang.Object

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

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

net.automatalib.automata.graphs.UniversalAutomatonGraphView<S,I,S,Boolean,Void,A>

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

All Implemented Interfaces:

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

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

Field Summary

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

inputs

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

automaton

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
VisualizationHelper<S,TransitionEdge<I,S>>	getVisualizationHelper()

Methods inherited from class net.automatalib.automata.graphs.UniversalAutomatonGraphView

create, create, getEdgeProperty, getNodeProperty

Methods inherited from class net.automatalib.automata.graphs.AutomatonGraphView

createTransitionEdges, getOutgoingEdges, getTarget

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.SimpleGraph

getNodes, iterator, nodeIDs, nodesStream, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

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

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Constructor Detail

FSAGraphView

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

Method Detail

getVisualizationHelper

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

Specified by:

getVisualizationHelper in interface Graph<S,TransitionEdge<I,S>>

Specified by:

getVisualizationHelper in interface SimpleGraph<S>

Overrides:

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