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.forEach, iterator, spliterator
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
getEdgeLabel
Copyright © 2015. All Rights Reserved.