org.jmlspecs.samples.digraph
Class Digraph

java.lang.Object
  org.jmlspecs.samples.digraph.Digraph

Direct Known Subclasses:

TransposableDigraph

public abstract class Digraph

extends Object

Directed graphs.

Author:

Katie Becker, Gary T. Leavens

Field Summary
protected  HashSet	arcSet
protected  HashSet	nodeSet

 

Constructor Summary

Digraph()

 

Method Summary
void	addArc(NodeType inFrom, NodeType inTo)
void	addNode(NodeType n)
boolean	isAPath(NodeType start, NodeType end)
boolean	isArc(NodeType inFrom, NodeType inTo)
boolean	isNode(NodeType n)
protected  HashSet	reachSet(NodeType start)
void	removeArc(NodeType inFrom, NodeType inTo)
void	removeNode(NodeType n)
String	toString()
boolean	unconnected(NodeType n)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

nodeSet

protected HashSet nodeSet

arcSet

protected HashSet arcSet

Digraph

public Digraph()

addNode

public void addNode(NodeType n)

removeNode

public void removeNode(NodeType n)

addArc

public void addArc(NodeType inFrom,
                   NodeType inTo)

removeArc

public void removeArc(NodeType inFrom,
                      NodeType inTo)

isNode

public boolean isNode(NodeType n)

isArc

public boolean isArc(NodeType inFrom,
                     NodeType inTo)

isAPath

public boolean isAPath(NodeType start,
                       NodeType end)

reachSet

protected HashSet reachSet(NodeType start)

toString

public String toString()

Overrides:

toString in class Object

unconnected

public boolean unconnected(NodeType n)