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