[Javabdd-devel] JFactory use of JavaBDD

[Clint K. <cli...@gm...>]

Hello.  I have a question about using the pure-Java implementation of
JavaBDD with the JFactory class.  From looking at the source code, it
appears to me that every time I say something like:

BDD x =3D foo.and(bar);

(where x, foo, and bar are BDDs)

x will be a new BDD object, even if there is already another BDD
object somewhere that is logically equivalent.  I assume that this is
why I need to use the .equals() method to compare two BDDs instead of
just doing a pointer comparison (=3D=3D).

Is there any way to get around this?  I thought that one of the
advantages of using BDDs was that you don't need to create new BDD
nodes if you aren't creating a node that corresponds to a unique truth
table.  This method in JFactory seems to use a lot of extra memory and
be slower.  Would I be better off using one of the BDDFactories that
uses the C implementations?

Any help will be greatly appreciated!

Clinton Kelly, Ph.D.
Vice President, Advanced Research
Achronix Semiconductor Corporation
http://www.achronix.com