net.automatalib.incremental.dfa

Interface IncrementalDFABuilder.GraphView<I,N,E>

All Superinterfaces:

Graph<N,E>, IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>, Iterable<N>, SimpleGraph<N>

All Known Implementing Classes:

AbstractIncrementalDFABuilder.AbstractGraphView, AbstractIncrementalDFADAGBuilder.GraphView, IncrementalDFATreeBuilder.GraphView

Enclosing interface:

IncrementalDFABuilder<I>

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

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

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

Method Summary

Modifier and Type	Method and Description
Acceptance	getAcceptance(N node)
N	getInitialNode()
I	getInputSymbol(E edge)

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph, getVisualizationHelper

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

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

Methods inherited from interface net.automatalib.graphs.SimpleGraph

getNodes, iterator, nodeIDs, nodesStream, size

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

getInputSymbol

@Nullable
I getInputSymbol(@Nonnull
                           E edge)

getAcceptance

@Nonnull
Acceptance getAcceptance(@Nonnull
                                  N node)

getInitialNode

@Nonnull
N getInitialNode()