net.automatalib.graphs

Interface UniversalIndefiniteGraph<N,E,NP,EP>

Type Parameters:

N - node class

E - edge class

NP - node property class

EP - edge property class

All Superinterfaces:

IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>

All Known Subinterfaces:

MutableGraph<N,E,NP,EP>, UniversalGraph<N,E,NP,EP>

All Known Implementing Classes:

FiniteStateAcceptor.FSAGraphView, MealyMachine.MealyGraphView, UniversalAutomatonGraphView

@ParametersAreNonnullByDefault
public interface UniversalIndefiniteGraph<N,E,NP,EP>
extends IndefiniteGraph<N,E>

A universal graph, i.e., with (possibly empty) node and edge properties. For a documentation on the concept of "universal", see UniversalTransitionSystem.

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

Modifier and Type	Method and Description
EP	getEdgeProperty(E edge) Retrieves the property of a given edge.
NP	getNodeProperty(N node) Retrieves the property of a given node.

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

Method Detail

getNodeProperty

@Nullable
NP getNodeProperty(N node)

Retrieves the property of a given node.

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

@Nullable
EP getEdgeProperty(E edge)

Retrieves the property of a given edge.

Parameters:

edge - the edge

Returns:

the property of the specified edge