N
- node classE
- edge classL
- label classpublic interface FiniteLTS<N,E,L> extends Graph<N,E>, IndefiniteLTS<N,E,L>
IndefiniteLTS
with a finite number of nodes.getGraphDOTHelper, getNodes, iterator, nodeIDs, size
forEach, spliterator
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
getEdgeLabel
Copyright © 2015. All rights reserved.