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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description VisualizationHelper<S,TransitionEdge<I,S>>
getVisualizationHelper()
Returns theVisualizationHelper
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 theVisualizationHelper
that contains information for displaying this graph.- Specified by:
getVisualizationHelper
in interfaceGraph<S,I>
- Specified by:
getVisualizationHelper
in interfaceSimpleGraph<S>
- Overrides:
getVisualizationHelper
in classAutomatonGraphView<S,I,S,A extends FiniteStateAcceptor<S,I>>
- Returns:
- the visualization helper
-
-