org.jmlspecs.samples.digraph
Class TransposableDigraph

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

Direct Known Subclasses:

SearchableDigraph

public class TransposableDigraph

extends Digraph

Transposable directed graphs.

Author:

Katie Becker, Gary T. Leavens

Field Summary

 

Fields inherited from class org.jmlspecs.samples.digraph.Digraph

arcSet, nodeSet

 

Constructor Summary

TransposableDigraph()           Initialize this transposable digraph to be empty.

 

Method Summary
void	transpose()           Transpose this graph by inverting the direction of all its edges.

 

Methods inherited from class org.jmlspecs.samples.digraph.Digraph

addArc, addNode, isAPath, isArc, isNode, reachSet, removeArc, removeNode, toString, unconnected

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

TransposableDigraph

public TransposableDigraph()

Initialize this transposable digraph to be empty.

transpose

public void transpose()

Transpose this graph by inverting the direction of all its edges.