shared
Class Face

java.lang.Object
  |
  +--shared.GraphObject
        |
        +--shared.Face

public class Face

extends GraphObject

Face object for the Graph class.

Field Summary

Edge	head The head Edge for this face of the Graph.
Graph	owner The Graph to which this Face belongs.
int	sz The size of the Graph for this Face.

Fields inherited from class shared.GraphObject

data, id, obj_list_pred, obj_list_succ

Method Summary

Graph	graph_of() Returns the Graph to which this Face belongs.
int	index() Returns the index value of this Face.

Methods inherited from class shared.GraphObject

set_id

Methods inherited from class java.lang.Object

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

Field Detail

head

public Edge head

The head Edge for this face of the Graph.

sz

public int sz

The size of the Graph for this Face.

owner

public Graph owner

The Graph to which this Face belongs.

Method Detail

index

public int index()

Returns the index value of this Face.

Overrides:

index in class GraphObject

Returns:

The index value of this Face.

graph_of

public Graph graph_of()

Returns the Graph to which this Face belongs.

Returns:

The Graph to which this Face belongs.