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.SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
asNormalGraph, getVisualizationHelper
getNodes, iterator, nodeIDs, nodesStream, size
forEach, spliterator
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
getEdgeLabel
Copyright © 2018. All rights reserved.