net.automatalib.graphs

Interface FiniteKTS<N,E,AP,L>

Type Parameters:

N - node class

E - edge class

AP - atomic proposition class

L - edge label class

All Superinterfaces:

EdgeLabels<E,L>, FiniteKripkeStructure<N,E,AP>, FiniteLTS<N,E,L>, Graph<N,E>, IndefiniteGraph<N,E>, IndefiniteLTS<N,E,L>, Iterable<N>, KripkeInterpretation<N,AP>

public interface FiniteKTS<N,E,AP,L>
extends FiniteKripkeStructure<N,E,AP>, FiniteLTS<N,E,L>

A finite Kripke Transition System combines the properties of both a labeled transition system and a Kripke structure.

Author:

Malte Isberner

See Also:

FiniteLTS, FiniteKripkeStructure

Method Summary

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

getAtomicPropositions

Methods inherited from interface net.automatalib.graphs.Graph

getNodes, nodeIDs, size

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget

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

getEdgeLabel