public class Directed.Edge extends Graph.Edge
Undirected.Edge
.v0, v1
Constructor and Description |
---|
Edge(int v0,
int v1) |
Modifier and Type | Method and Description |
---|---|
Directed |
parent()
Return the parent Graph of which 'this' is a Child.
|
java.lang.String |
toString() |
label, labelled
public Directed parent()
Child
parent
in interface Child
parent
in class Graph.Edge
public java.lang.String toString()
toString
in class Graph.Edge