sandmark.util.graph
Class Path

java.lang.Object
  |
  +--sandmark.util.graph.Path

public class Path

extends java.lang.Object

Field Summary

(package private) java.util.HashSet	nodes
(package private) java.util.Vector	path

Constructor Summary

Path()

Path(Path P)

Method Summary

void	add(Node node)
Path	concatenate(Path P)
java.util.Enumeration	elements()
Node	firstNode()
Node[]	getPath()
Node	lastNode()
boolean	onPath(Node node)
Path	segment(Node first, Node last)
int	size()

Methods inherited from class java.lang.Object

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

Field Detail

path

java.util.Vector path

nodes

java.util.HashSet nodes

Constructor Detail

Path

public Path()

Path

public Path(Path P)

Method Detail

add

public void add(Node node)

onPath

public boolean onPath(Node node)

getPath

public Node[] getPath()

firstNode

public Node firstNode()

lastNode

public Node lastNode()

segment

public Path segment(Node first,
                    Node last)

concatenate

public Path concatenate(Path P)

size

public int size()

elements

public java.util.Enumeration elements()