N
- node classE
- edge classpublic interface AcceptanceGraph<N,E> extends Graph<N,E>, NodeAcceptance<N>
getGraphDOTHelper, getNodes, iterator, nodeIDs, size
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
forEach, spliterator
isAcceptingNode
Copyright © 2015. All rights reserved.