Package graph

Klasse MarkedEdge<U extends EdgeMarking>

java.lang.Object

graph.Edge

graph.MarkedEdge<U>

Typparameter:

U - A type that extends EdgeMarking, used for marking the edge.

public class MarkedEdge<U extends EdgeMarking>
extends Edge

The MarkedEdge class extends the Edge class and includes additional attributes for marking and visualization on a screen. It supports constructors to initialize these attributes and provides getter and setter methods for accessing and modifying them.

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
private U	marking
private Edge	screenEdge

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
MarkedEdge()	Default constructor initializes the edge with default values.
MarkedEdge(String s, Vertex n1, Vertex n2, U u)	Constructor initializes the edge with a name, vertices, and marking.

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
U	getMarking()	Gets the marking of the edge.
Edge	getScreenEdge()	Gets the screen edge used for visualization.
void	setMarking(U u)	Sets the marking of the edge.
String	toString()	Returns a string representation of the MarkedEdge.

Von Klasse geerbte Methoden graph.Edge

getDestination, getName, getSource, setDestination, setName, setSource

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

marking

private U extends EdgeMarking marking

screenEdge

private Edge screenEdge

Konstruktordetails

MarkedEdge

public MarkedEdge()

Default constructor initializes the edge with default values.

MarkedEdge

public MarkedEdge(String s,
 Vertex n1,
 Vertex n2,
 U u)

Constructor initializes the edge with a name, vertices, and marking.

Parameter:

s - The name of the edge.

n1 - The source vertex of the edge.

n2 - The destination vertex of the edge.

u - The marking of the edge.

Methodendetails

getMarking

public U getMarking()

Gets the marking of the edge.

Gibt zurück:

The marking of the edge.

getScreenEdge

public Edge getScreenEdge()

Gets the screen edge used for visualization.

Angegeben von:

getScreenEdge in Klasse Edge

Gibt zurück:

The screen edge.

setMarking

public void setMarking(U u)

Sets the marking of the edge.

Parameter:

u - The new marking of the edge.

toString

public String toString()

Returns a string representation of the MarkedEdge.

Setzt außer Kraft:

toString in Klasse Object

Gibt zurück:

A string representing the MarkedEdge.