[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