public static interface IncrementalDFABuilder.GraphView<I,N,E> extends DOTPlottableGraph<N,E>
Modifier and Type | Method and Description |
---|---|
Acceptance |
getAcceptance(N node) |
N |
getInitialNode() |
I |
getInputSymbol(E edge) |
getGraphDOTHelper
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
forEach, iterator, spliterator
Copyright © 2015. All rights reserved.