net.sf.bddbddb
Class Dot

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


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