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
getAtomicPropositions
forEach, iterator, spliterator
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
getEdgeLabel
Copyright © 2015. All Rights Reserved.