From: sekhar a (sekhar_cudd_at_yahoo.com)
Date: Thu May 11 2006 - 15:04:02 MDT
Hello VIS users
I am using the CUDD package and working on some ZDD manipulations. I
need to construct ZDD's with variable index as large as possible say
more than 10000000.
Right now i am compiling on a 32-bit machine, and the CUDD_MAXINDEX
value is around 65k.(I think even if i compile using a 64-bit machine
the value of short wouldnt change) I tried to change the CUDD_MAXINDEX
value by changing the data type of DdHalfWord from short to int, the
program is aborting at the Cudd_Init function.
On the other hand i tried to define the value of CUDD_MAXINDEX using
#define to a large value. The function Cudd_ZddChange( ) worked but the
function Cudd_ZddFirstParth( ) doenst work. Can any one help me how we
can increase the size of the CUDD_MAXINDEX and what is the maximum
value that i can get, and what changes do i need in the CUDD package to
achieve this .Thanks in advance
Thanks
sekhar
---------------------------------
Get amazing travel prices for air and hotel in one click on Yahoo! FareChase
This archive was generated by hypermail 2.1.7 : Thu May 11 2006 - 15:06:19 MDT