net.sf.bddbddb
Class RelationGraph

java.lang.Object
  extended by net.sf.bddbddb.RelationGraph
All Implemented Interfaces:
jwutil.graphs.Graph

public class RelationGraph
extends java.lang.Object
implements jwutil.graphs.Graph

Allows relations to be treated as edges in a graph, so we can use graph algorithms on them.

Version:
$Id: RelationGraph.java 350 2004-10-20 01:15:41Z joewhaley $
Author:
jwhaley

Field Summary
protected  java.io.PrintStream out
          Trace output stream.
protected  boolean TRACE
          Trace flag.
 
Method Summary
 jwutil.graphs.Navigator getNavigator()
           
 java.util.Collection getRoots()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TRACE

protected boolean TRACE
Trace flag.


out

protected java.io.PrintStream out
Trace output stream.

Method Detail

getRoots

public java.util.Collection getRoots()
Specified by:
getRoots in interface jwutil.graphs.Graph

getNavigator

public jwutil.graphs.Navigator getNavigator()
Specified by:
getNavigator in interface jwutil.graphs.Graph


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.