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

[John W. <joe...@gm...>]

You will get that error if you pass in a number that is less than one or
greater than the maximum number of variables (2097151).

-John


On Sep 29, 2010 6:35 AM, "Hasan Qunoo" <ha...@gm...> wrote:
> 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
>
>
------------------------------------------------------------------------------
> Start uncovering the many advantages of virtual appliances
> and start using them to simplify application deployment and
> accelerate your shift to cloud computing.
> http://p.sf.net/sfu/novell-sfdev2dev
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel