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>, IndefiniteSimpleGraph<N>, Iterable<N>, KripkeInterpretation<N,AP>, SimpleGraph<N>

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

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Method Summary

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

getAtomicPropositions

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph, getGraphDOTHelper

Methods inherited from interface net.automatalib.graphs.SimpleGraph

getNodes, iterator, nodeIDs, nodesStream, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

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

getEdgeLabel