net.sf.bddbddb
Class BuildEquivalenceRelation

java.lang.Object
  extended by net.sf.bddbddb.BuildEquivalenceRelation

public class BuildEquivalenceRelation
extends java.lang.Object

Utility to build equivalence relations between multiple domains.

Version:
$Id: BuildEquivalenceRelation.java 549 2005-05-17 10:17:33Z joewhaley $
Author:
jwhaley

Constructor Summary
BuildEquivalenceRelation()
           
 
Method Summary
static void bdd_save(java.lang.String filename, net.sf.javabdd.BDD b, java.util.List ds)
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BuildEquivalenceRelation

public BuildEquivalenceRelation()
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception

bdd_save

public static void bdd_save(java.lang.String filename,
                            net.sf.javabdd.BDD b,
                            java.util.List ds)
                     throws java.io.IOException
Throws:
java.io.IOException


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