N
- node classE
- edge classAP
- atomic proposition classL
- edge label classpublic interface FiniteKTS<N,E,AP,L> extends FiniteKripkeStructure<N,E,AP>, FiniteLTS<N,E,L>
FiniteLTS
,
FiniteKripkeStructure
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
getAtomicPropositions
asNormalGraph, getVisualizationHelper
getNodes, iterator, nodeIDs, nodesStream, size
forEach, spliterator
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
getEdgeLabel
Copyright © 2019. All rights reserved.