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