net.automatalib.incremental.mealy

Interface IncrementalMealyBuilder.GraphView<I,O,N,E>

All Superinterfaces:

DOTPlottableGraph<N,E>, Graph<N,E>, IndefiniteGraph<N,E>, Iterable<N>

All Known Implementing Classes:

AbstractIncrementalMealyBuilder.AbstractGraphView, IncrementalMealyDAGBuilder.GraphView, IncrementalMealyTreeBuilder.GraphView

Enclosing interface:

IncrementalMealyBuilder<I,O>

public static interface IncrementalMealyBuilder.GraphView<I,O,N,E>
extends DOTPlottableGraph<N,E>

Method Summary

Methods

Modifier and Type	Method and Description
N	getInitialNode()
I	getInputSymbol(E edge)
O	getOutputSymbol(E edge)

Methods inherited from interface net.automatalib.graphs.dot.DOTPlottableGraph

getGraphDOTHelper

Methods inherited from interface net.automatalib.graphs.Graph

getNodes, nodeIDs, size

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

getInputSymbol

@Nullable
I getInputSymbol(@Nonnull
                        E edge)

getOutputSymbol

@Nullable
O getOutputSymbol(@Nonnull
                         E edge)

getInitialNode

@Nonnull
N getInitialNode()