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