Package net.automatalib.graph

Interface FiniteLabeledGraph<N,E,L>

All Superinterfaces:

EdgeLabels<E,L>, FiniteRepresentation, Graph<N,E>, IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>, Iterable<N>, SimpleGraph<N>

All Known Subinterfaces:

MutableProceduralModalProcessGraph<N,L,E,AP,TP>, ProceduralModalProcessGraph<N,L,E,AP,TP>

All Known Implementing Classes:

CompactPMPG

public interface FiniteLabeledGraph<N,E,L>
extends Graph<N,E>, EdgeLabels<E,L>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graph.Graph

Graph.IntAbstraction<E>

Method Summary

Methods inherited from interface net.automatalib.graph.concept.EdgeLabels

getEdgeLabel

Methods inherited from interface net.automatalib.graph.Graph

getAdjacentNodes, getOutgoingEdges, getOutgoingEdgesIterator, getVisualizationHelper

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween, getTarget

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.SimpleGraph

getNodes, iterator, nodeIDs, size