From: Hasan Qunoo <hassanq@gm...> - 2010-09-29 13:32:19
I am a new user of Buddy. I am using JavaBDD which is an inteface to 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:
Exception in thread "main" net.sf.javabdd.BDDException: Value out of range
at net.sf.javabdd.BuDDyFactory.setVarNum0(Native Method)
I would highly appreciate it if you could explain to me what went
wrong. What is the range? How to change it?