net.automatalib.automata.transout

Class MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>

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,T,Void,O,A>

net.automatalib.automata.transout.MealyMachine.MealyGraphView<S,I,T,O,A>

All Implemented Interfaces:

Iterable<S>, Graph<S,TransitionEdge<I,T>>, IndefiniteGraph<S,TransitionEdge<I,T>>, UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>>, UniversalIndefiniteGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>>

Enclosing interface:

MealyMachine<S,I,T,O>

public static class MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
extends UniversalAutomatonGraphView<S,I,T,Void,O,A>

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
MealyGraphView(A automaton, Collection<? extends I> inputs)

Method Summary

Modifier and Type	Method and Description
GraphDOTHelper<S,? super TransitionEdge<I,T>>	getGraphDOTHelper()

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

getNodes, iterator, nodeIDs, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

createDynamicNodeMapping, createStaticNodeMapping, getEdgesBetween, getOutgoingEdges, getTarget

Constructor Detail

MealyGraphView

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

Method Detail

getGraphDOTHelper

public GraphDOTHelper<S,? super TransitionEdge<I,T>> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface Graph<S,TransitionEdge<I,T>>

Overrides:

getGraphDOTHelper in class AutomatonGraphView<S,I,T,A extends MealyMachine<S,I,T,O>>