From: Hasan Q. <ha...@gm...> - 2010-09-29 13:32:19
|
Dear All, 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: 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 |