net.automatalib.incremental.dfa

Interface IncrementalDFABuilder.GraphView<I,N,E>

All Superinterfaces:

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

All Known Implementing Classes:

AbstractIncrementalDFABuilder.AbstractGraphView, AbstractIncrementalDFADAGBuilder.GraphView, IncrementalDFATreeBuilder.GraphView

Enclosing interface:

IncrementalDFABuilder<I>

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

Method Summary

Methods

Modifier and Type	Method and Description
Acceptance	getAcceptance(N node)
N	getInitialNode()
I	getInputSymbol(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)

getAcceptance

@Nonnull
Acceptance getAcceptance(@Nonnull
                               N node)

getInitialNode

@Nonnull
N getInitialNode()