net.sf.bddbddb
Class RelationGraph

java.lang.Object
  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