N
- node classE
- edge classL
- label classpublic interface IndefiniteLTS<N,E,L> extends IndefiniteGraph<N,E>, EdgeLabels<E,L>
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
getEdgeLabel
Copyright © 2015. All rights reserved.