net.sf.bddbddb
Class Dot

java.lang.Object
  net.sf.bddbddb.Dot

public class Dot
extends java.lang.Object

Dot

Version:

$Id: Dot.java 522 2005-04-29 02:34:44Z joewhaley $

Author:

cunkel

Method Summary

void	addEdge(java.lang.String edge)
void	enqueue(net.sf.bddbddb.RelationGraph.GraphNode x)
java.util.Collection	getUsedRelations()
java.lang.String	nodeName(net.sf.bddbddb.RelationGraph.GraphNode n)

Methods inherited from class java.lang.Object

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

Method Detail

enqueue

public void enqueue(net.sf.bddbddb.RelationGraph.GraphNode x)

addEdge

public void addEdge(java.lang.String edge)

nodeName

public java.lang.String nodeName(net.sf.bddbddb.RelationGraph.GraphNode n)

getUsedRelations

public java.util.Collection getUsedRelations()

Returns:

the collection of used relations