[Buddy-users] BuDDy Out-of-Range error

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

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