graph

Class Graph.Edge

java.lang.Object

graph.Graph.Edge

All Implemented Interfaces:

Child

Direct Known Subclasses:

Directed.Edge, Undirected.Edge

Enclosing class:

Graph

public abstract class Graph.Edge
extends java.lang.Object
implements Child

An Edge ⟨v0, v1⟩ (Directed), or (v0, v1) (Undirected, v0≤v1), of 'this' Graph. Also see Graph.Vertex.

Field Summary

Fields

Modifier and Type	Field and Description
int	v0 v0 and v1, the Vertices of 'this' Edge.
int	v1 v0 and v1, the Vertices of 'this' Edge.

Constructor Summary

Constructors

Constructor and Description
Edge(int v0, int v1) If 'this' is Graph.isDirected() ⟨v0,v1⟩, otherwise 'this' is Graph.isUndirected(), (vs,vb) where vs is the smaller and vb is the larger Vertex.

Method Summary

Modifier and Type	Method and Description
Value	label() The Edge label, if any.
boolean	labelled() Are (all) Edges labelled in 'this' Graph?
Graph	parent() Return the parent Graph of which 'this' is a Child.
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

v0

public final int v0

v0 and v1, the Vertices of 'this' Edge.

v1

public final int v1

v0 and v1, the Vertices of 'this' Edge.

Constructor Detail

Edge

public Edge(int v0,
            int v1)

If 'this' is Graph.isDirected() ⟨v0,v1⟩, otherwise 'this' is Graph.isUndirected(), (v_s,v_b) where v_s is the smaller and v_b is the larger Vertex.

Method Detail

parent

public Graph parent()

Description copied from interface: Child

Return the parent Graph of which 'this' is a Child.

Specified by:

parent in interface Child

labelled

public boolean labelled()

Are (all) Edges labelled in 'this' Graph?

label

public Value label()

The Edge label, if any.

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object