protected abstract static class AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E> extends AbstractGraph<N,E> implements IncrementalDFABuilder.GraphView<I,N,E>
Modifier | Constructor and Description |
---|---|
protected |
AbstractGraphView() |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<N,E> |
getGraphDOTHelper() |
iterator, iterator, nodeIDs, nodeIDs, size, size
createDynamicNodeMapping, createDynamicNodeMapping, createStaticNodeMapping, createStaticNodeMapping
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAcceptance, getInitialNode, getInputSymbol
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
forEach, iterator, spliterator
public GraphDOTHelper<N,E> getGraphDOTHelper()
getGraphDOTHelper
in interface DOTPlottableGraph<N,E>
Copyright © 2015. All rights reserved.