Package net.automatalib.graph

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>, Iterable<N>

All Known Subinterfaces:

MutableGraph<N,E,NP,EP>, MutableProceduralModalProcessGraph<N,L,E,AP,TP>, MutableUniversalBidirectionalGraph<N,E,NP,EP>, ProceduralModalProcessGraph<N,L,E,AP,TP>, UniversalBidirectionalGraph<N,E,NP,EP>, UniversalGraph<N,E,NP,EP>

All Known Implementing Classes:

AbstractBricsAutomaton.GraphView, AbstractCompactBidiGraph, AbstractCompactGraph, CompactBidiGraph, CompactGraph, CompactPMPG, CompactSimpleBidiGraph, CompactSimpleGraph, FiniteStateAcceptor.FSAGraphView, MealyMachine.MealyGraphView, ModalTransitionSystem.MTSGraphView, MooreMachine.MooreGraphView, SimpleMapGraph, SubsequentialTransducer.SSTGraphView, UniversalAutomatonGraphView, WitnessTree

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.

Method Summary

Modifier and Type	Method	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.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween, getOutgoingEdgesIterator, getTarget

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

getNodeProperty

NP getNodeProperty(N node)

Retrieves the property of a given node.

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

EP getEdgeProperty(E edge)

Retrieves the property of a given edge.

Parameters:

edge - the edge

Returns:

the property of the specified edge