[Javabdd-devel] BuDDy Out-of-Range error

[Hasan Q. <ha...@gm...>]

Dear All,

I am a new user of JavaBDD/Buddy.

The following lines of code

bddFactory_ = BDDFactory.init(7000000, 1000000); // these numbers are
subject to change
       System.out.println(elementNumberInP_ * 10 );
       bddFactory_.setVarNum(elementNumberInP_ * 10) ;

Give me the following output:

2380
Exception in thread "main" net.sf.javabdd.BDDException: Value out of range
       at net.sf.javabdd.BuDDyFactory.setVarNum0(Native Method)
       at net.sf.javabdd.BuDDyFactory.setVarNum(BuDDyFactory.java:312)

I would highly appreciate it if you could explain to me what went
wrong. What is the range? How to change it?

Thanks,

Hasan