javabdd-devel

[Javabdd-devel] Model Checking - BDD help

[Hayawardh V <hay...@gm...>]

Dear all,

I am developing a simple model checker with BDDs, so I need BDDs of
different sizes (the state BDD of size n, and transition BDD of size 2 * n,
for some n). However, there is only one BDDFactory available, which can
create BDDs of only a single size, when I do BDDFactory.setVarNum(n);

Also, how do I specify the variable set for a relational product between
BDDs of different size?

Thanks,
Hayawardh

Re: [Javabdd-devel] Model Checking - BDD help

[John W. <joe...@gm...>]

Check out BDDDomain.  I think it will do what you need.

http://javabdd.sourceforge.net/apidocs/net/sf/javabdd/BDDDomain.html

You can specify a variable set for a relational product with BDDVarSet:

http://javabdd.sourceforge.net/apidocs/net/sf/javabdd/BDDVarSet.html

-John



On Tue, Mar 3, 2009 at 11:41 AM, Hayawardh V <hay...@gm...> wrote:

> Dear all,
>
> I am developing a simple model checker with BDDs, so I need BDDs of
> different sizes (the state BDD of size n, and transition BDD of size 2 * n,
> for some n). However, there is only one BDDFactory available, which can
> create BDDs of only a single size, when I do BDDFactory.setVarNum(n);
>
> Also, how do I specify the variable set for a relational product between
> BDDs of different size?
>
> Thanks,
> Hayawardh
>
>
> ------------------------------------------------------------------------------
> Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco,
> CA
> -OSBC tackles the biggest issue in open source: Open Sourcing the
> Enterprise
> -Strategies to boost innovation and cut costs with open source
> participation
> -Receive a $600 discount off the registration fee with the source code:
> SFAD
> http://p.sf.net/sfu/XcvMzF8H
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>