net.sf.bddbddb
Class BuildEquivalenceRelation

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