N
- node classAP
- atomic proposition classpublic interface KripkeInterpretation<N,AP>
Modifier and Type | Method and Description |
---|---|
Set<AP> |
getAtomicPropositions(N node)
Retrieves the atomic propositions holding at the given node.
|
Copyright © 2020. All rights reserved.