graph

Class Graph.Vertex

java.lang.Object

graph.Graph.Vertex

All Implemented Interfaces:

Child

Direct Known Subclasses:

Directed.Vertex, Undirected.Vertex

Enclosing class:

Graph

public class Graph.Vertex
extends java.lang.Object
implements Child

A Vertex of 'this' Graph. Also see Graph.Edge.

Field Summary

Fields

Modifier and Type	Field and Description
int	v The number of this Vertex (not its label, if any).

Constructor Summary

Constructors

Constructor and Description
Vertex(int v)

Method Summary

Modifier and Type	Method and Description
Value	label()
boolean	labelled()
Graph	parent() Return the parent Graph of which 'this' is a Child.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

v

public final int v

The number of this Vertex (not its label, if any).

Constructor Detail

Vertex

public Vertex(int v)

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()

label

public Value label()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object