net.automatalib.graphs

Interface IndefiniteLTS<N,E,L>

Type Parameters:

N - node class

E - edge class

L - label class

All Superinterfaces:

EdgeLabels<E,L>, IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>

All Known Subinterfaces:

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

public interface IndefiniteLTS<N,E,L>
extends IndefiniteGraph<N,E>, EdgeLabels<E,L>

A labeled transition system is a graph with labels attached to its edges.

Author:

Malte Isberner

Nested Class Summary

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

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

Method Summary

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, asNormalGraph, 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