Package net.automatalib.graph.concept

Interface KripkeInterpretation<N,AP>

Type Parameters:

N - node class

AP - atomic proposition class

All Known Subinterfaces:

FiniteKripkeStructure<N,E,AP>, FiniteKTS<S,I,T,AP>, MutableKripkeInterpretation<N,AP>, MutableProceduralModalProcessGraph<N,L,E,AP,TP>, ProceduralModalProcessGraph<N,L,E,AP,TP>

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.

Method Summary

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

Method Detail

getAtomicPropositions

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