Package org.bigraphs.framework.core.reactivesystem

Class ReactionGraph.LabeledEdge

java.lang.Object

org.jgrapht.graph.DefaultEdge

org.bigraphs.framework.core.reactivesystem.ReactionGraph.LabeledEdge

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

ReactionGraph<B extends Bigraph<? extends Signature<?>>>

public static class ReactionGraph.LabeledEdge
extends org.jgrapht.graph.DefaultEdge

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected String	label

Constructor Summary

Constructors

Constructor	Description
LabeledEdge(String label)	Constructs a labeled edge

Method Summary

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

Methods inherited from class org.jgrapht.graph.DefaultEdge

getSource, getTarget

Methods inherited from class java.lang.Object

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

Field Details

label

protected String label

Constructor Details

LabeledEdge

public LabeledEdge(String label)

Constructs a labeled edge

Parameters:

label - the label of the new edge.

Method Details

getLabel

public String getLabel()

Gets the label associated with this edge.

Returns:

edge label

toString

public String toString()

Overrides:

toString in class org.jgrapht.graph.DefaultEdge

clone

public Object clone()

Overrides:

clone in class Object