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.
|
Set<AP> getAtomicPropositions(N node)
node
- the nodeCopyright © 2015. All Rights Reserved.