N
- node classAP
- atomic proposition class@ParametersAreNonnullByDefault public interface KripkeInterpretation<N,AP>
Modifier and Type | Method and Description |
---|---|
Set<? extends AP> |
getAtomicPropositions(N node)
Retrieves the atomic propositions holding at the given node.
|
Copyright © 2015. All rights reserved.