net.automatalib.graphs.concepts

Interface KripkeInterpretation<N,AP>

Type Parameters:

N - node class

AP - atomic proposition class

All Known Subinterfaces:

FiniteKripkeStructure<N,E,AP>, FiniteKTS<N,E,AP,L>

@ParametersAreNonnullByDefault
public interface KripkeInterpretation<N,AP>

A Kripke interpretation for a graph. A Kripke interpretation assigns to each node a set of so-called atomic propositions.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
Set<AP>	getAtomicPropositions(N node) Retrieves the atomic propositions holding at the given node.

Method Detail

getAtomicPropositions

@Nonnull
Set<AP> getAtomicPropositions(N node)

Retrieves the atomic propositions holding at the given node.

Parameters:

node - the node

Returns:

the set of atomic propositions that hold at the given node