N
- node classE
- edge classAP
- atomic property classpublic interface FiniteKripkeStructure<N,E,AP> extends Graph<N,E>, KripkeInterpretation<N,AP>
KripkeInterpretation
getGraphDOTHelper, getNodes, iterator, nodeIDs, size
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
forEach, spliterator
getAtomicPropositions
Copyright © 2015. All rights reserved.