org.dllearner.utilities.graph

Class LabeledEdge<T>

java.lang.Object

org.jgrapht.graph.DefaultEdge

org.dllearner.utilities.graph.LabeledEdge<T>

Type Parameters:

T - the type of the label

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

OWLPropertyEdge

public class LabeledEdge<T>
extends org.jgrapht.graph.DefaultEdge

A labeled edge in the graph.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LabeledEdge(T label) Constructs a labeled edge

Method Summary

Modifier and Type	Method and Description
T	getLabel() Gets the label associated with this edge.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LabeledEdge

public LabeledEdge(T label)

Constructs a labeled edge

Parameters:

label - the label of the new edge.

Method Detail

getLabel

public T getLabel()

Gets the label associated with this edge.

Returns:

edge label

toString

public String toString()

Overrides:

toString in class org.jgrapht.graph.DefaultEdge