net.automatalib.graphs

Interface FiniteKripkeStructure<N,E,AP>

Type Parameters:

N - node class

E - edge class

AP - atomic property class

All Superinterfaces:

Graph<N,E>, IndefiniteGraph<N,E>, Iterable<N>, KripkeInterpretation<N,AP>

All Known Subinterfaces:

FiniteKTS<N,E,AP,L>

public interface FiniteKripkeStructure<N,E,AP>
extends Graph<N,E>, KripkeInterpretation<N,AP>

A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.

Author:

Malte Isberner

See Also:

KripkeInterpretation

Method Summary

Methods inherited from interface net.automatalib.graphs.Graph

getNodes, nodeIDs, size

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.graphs.concepts.KripkeInterpretation

getAtomicPropositions