JML

org.jmlspecs.samples.digraph
Class TransposableDigraph

java.lang.Object
  extended byorg.jmlspecs.samples.digraph.Digraph
      extended byorg.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.

Method Detail

transpose

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


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.