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) |
getGraphDOTHelpercreateDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTargetCopyright © 2014. All Rights Reserved.