raja.util
Class DirectedGraph

java.lang.Object
  |
  +--raja.util.DirectedGraph
All Implemented Interfaces:
Serializable, Writable

public class DirectedGraph
extends Object
implements Serializable, Writable

See Also:
Serialized Form

Inner Class Summary
 class DirectedGraph.Edge
           
 
Constructor Summary
DirectedGraph()
           
 
Method Summary
 void addEdge(Object source, Object dest)
           
 Iterator edges()
           
 boolean hasEdge(Object source, Object dest)
           
 boolean hasEdges(Object source, Collection dest)
           
 String toString()
           
 void write(ObjectWriter writer)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DirectedGraph

public DirectedGraph()
Method Detail

addEdge

public void addEdge(Object source,
                    Object dest)

hasEdge

public boolean hasEdge(Object source,
                       Object dest)

hasEdges

public boolean hasEdges(Object source,
                        Collection dest)

edges

public Iterator edges()

toString

public String toString()
Overrides:
toString in class Object

write

public void write(ObjectWriter writer)
           throws IOException
Specified by:
write in interface Writable