javabdd-devel — General developer's list.

[Javabdd-devel] Please let me introduce myself..., and can you please help me...?...

[Sarn U. <pol...@ya...>]

My name is Mr. Sarn Richard Ursell.
I am currently a student at Victoria University, a famous University here in Wellington, (I currently study mathematics, first year, level-100), -and I wish to learn programming in, as I have some WONDERFUL ideas for manipulating sound and picture information using Java.
I am told that this is a beautiful language, and, I can truly believe this.
Is it alright with you if I collaborate with you about these projects, and can you please help me with some algorithms, that I need-and-wish to use to apply to sound and picture information?
I can explain in more depth if you so desire,
Many thanks,
Sincerely,
Mr. Sarn Richard Ursell.

[Javabdd-devel] (no subject)

[SOHEILA H. <in...@ru...>]

hi JavaBDD    https://bit.ly/2EaV6bp

Re: [Javabdd-devel] Where Is Version 2.0 of JavaBDD?

[Tom D. <tom...@gm...>]

Ok, I figured out that I could grab the current state of the repo and build
it. However, I'd request that public downloadable archives be updated to
2.0 please.

Tom Deering | PhD Student | ISU ECpE Software Systems | (563) 249-9277

On Mon, Jan 19, 2015 at 10:38 AM, Tom Deering <tom...@gm...> wrote:

> I've noticed that that JavaDocs on SourceForge for JavaBDD are for version
> 2.0, yet all binaries and source are version 1.0b2. As a result, the
> JavaDocs list methods that don't exist, etc.
>
> Where can I get version 2.0 of JavaBDD? If it's still under development,
> then the JavaDocs should be reverted back down to be consistent with 1.0b2.
>
> Tom Deering | PhD Student | ISU ECpE Software Systems | (563) 249-9277
>

[Javabdd-devel] Where Is Version 2.0 of JavaBDD?

[Tom D. <tom...@gm...>]

I've noticed that that JavaDocs on SourceForge for JavaBDD are for version
2.0, yet all binaries and source are version 1.0b2. As a result, the
JavaDocs list methods that don't exist, etc.

Where can I get version 2.0 of JavaBDD? If it's still under development,
then the JavaDocs should be reverted back down to be consistent with 1.0b2.

Tom Deering | PhD Student | ISU ECpE Software Systems | (563) 249-9277

Re: [Javabdd-devel] Extracting ITE formula

[Yannic N. <nol...@st...>]

Hi John,

I want to use the BDD library to simplify logical formulas, therefore I
want to put them in BDDs and want to get a simplified formula as output.
The output format would be the next step, but is it generally possible and
with which method?

I found the method "simplify". Can that method be used to minimize logical
formulas, or what's the purpose of that method? Is there any sample code or
tutorial how to use the simplify method? Because I don't know what exactly
the parameter for that method means.

Btw I only got the version 1.0b2 from your sourceforge website, but I saw
that your API is for version 2.0. Is the JavaBDD 2.0 available?

I attached my first sample code, in which I tried to use the BDDs.

Cheers,
Yannic


On 27 February 2014 17:11, John Whaley <joe...@gm...> wrote:

> What output format are you expecting when you say ITE formula? It should
> be possible to write a small amount of code to output in the appropriate
> format.
>
> -John
>  On Feb 26, 2014 6:35 AM, "Yannic Noller" <nol...@gm...> wrote:
>
>> Hi all,
>>
>> I'm a newbie using JavaBDD. Is there any possibility to extract the ITE
>> formed formula from a BDD object?
>>
>> Cheers,
>> Yannic
>>
>>
>> ------------------------------------------------------------------------------
>> Flow-based real-time traffic analytics software. Cisco certified tool.
>> Monitor traffic, SLAs, QoS, Medianet, WAAS etc. with NetFlow Analyzer
>> Customize your own dashboards, set traffic alerts and generate reports.
>> Network behavioral analysis & security monitoring. All-in-one tool.
>>
>> http://pubads.g.doubleclick.net/gampad/clk?id=126839071&iu=/4140/ostg.clktrk
>> _______________________________________________
>> Javabdd-devel mailing list
>> Jav...@li...
>> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>>
>>

Re: [Javabdd-devel] Extracting ITE formula

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

What output format are you expecting when you say ITE formula? It should be
possible to write a small amount of code to output in the appropriate
format.

-John
 On Feb 26, 2014 6:35 AM, "Yannic Noller" <nol...@gm...> wrote:

> Hi all,
>
> I'm a newbie using JavaBDD. Is there any possibility to extract the ITE
> formed formula from a BDD object?
>
> Cheers,
> Yannic
>
>
> ------------------------------------------------------------------------------
> Flow-based real-time traffic analytics software. Cisco certified tool.
> Monitor traffic, SLAs, QoS, Medianet, WAAS etc. with NetFlow Analyzer
> Customize your own dashboards, set traffic alerts and generate reports.
> Network behavioral analysis & security monitoring. All-in-one tool.
>
> http://pubads.g.doubleclick.net/gampad/clk?id=126839071&iu=/4140/ostg.clktrk
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>

[Javabdd-devel] Extracting ITE formula

[Yannic N. <nol...@gm...>]

Hi all,

I'm a newbie using JavaBDD. Is there any possibility to extract the ITE
formed formula from a BDD object?

Cheers,
Yannic

[Javabdd-devel] How to encode integers in BDDs with JavaBDD

[Isabel M. <im....@go...>]

Hi!

I’m a student of computer science and at the moment I’m working on my bachelor thesis. 

For this reason I have to deal with relations of integers (like R={(3,2), (2,0)}, stored in BDDs. I’m implementing in Java. 

Unfortunately I do not understand how this works in JavaBDD, and I read that this library is the best one for implementing BDDs in Java. 
Perhaps you could have a look on the following question on stack overflow: http://stackoverflow.com/questions/21354935/how-to-encode-integers-in-bdds

You would help me a lot :)!

Thank you so much!!!

Best regards,
Isabel

[Javabdd-devel] Exception on "registerNatives" with buddy on OSX

[Eric B. <eri...@ec...>]

Hello.

I am trying to use JavaBDD with buddy on OSX. The call to loadLibrary
seems to proceed just fine. It appears that the library was found.
However, then the call to the native method "registerNatives" fails. I
wonder why. Has anyone ever experienced this? I build the library from
source, so I would hope that binary incompatibilities should not be an
issue.

Cheers,
Eric

-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

Re: [Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

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

Did you forget to eliminate the outer "#if __STDC_VERSION__/#endif"?
That's the only thing I can think that would cause the compiler to think
that intptr_cast_type is undefined.

-John


On Thu, Mar 1, 2012 at 3:24 AM, ciccio formaggio <ke...@gm...> wrote:

> Hi to everybody!
>
> I'm trying to compile BuDDy+JavaBDD on an Intel Core2 duo 64bits box
> running linux (ubuntu 64 bit) and Java 1.6. I modified the makefile in
> order to specify
> the 64bits requirement: -fPIC instead of -m32.
> I've tried to follow the explanation included in javabdd developer mailing
> list, and so
> i have modified the buddy_jni.c:
>
> #if __STDC_VERSION__ >= 199901
>   #include <inttypes.h>
>   #if INTPTR_MAX >= INT_MAX
>     typedef intptr_t intptr_cast_type;
>   #else /* no intptr_t, or intptr_t smaller than `int' */
>     typedef intmax_t intptr_cast_type;
>   #endif
> #else
>   #include <stddef.h>
>   #include <limits.h>
>   #if PTRDIFF_MAX >= INT_MAX
>     typedef ptrdiff_t intptr_cast_type;
>   #else
>     typedef int intptr_cast_type;
>   #endif
> #endif
>
> and i have eliminated the #else part and only kept:
>
> #include <inttypes.h>
> #if INTPTR_MAX >= INT_MAX
>   typedef intptr_t intptr_cast_type;
> #else /* no intptr_t, or intptr_t smaller than `int' */
>   typedef intmax_t intptr_cast_type;
> #endif
>
> now when i try to compile i got this error:
>
> cc -DSPECIALIZE_RELPROD -DSPECIALIZE_AND -DSPECIALIZE_OR -DSMALL_NODES -O2
> -fomit-frame-pointer  -I. -I/home/tommaso/lavoro/jdk1.6.0_22//include
> -Ibuddy/src -Ibuddy/src/.. -Icudd-2.4.0/cudd -Icudd-2.4.0/epd
> -Icudd-2.4.0/mtr -Icudd-2.4.0/st -Icudd-2.4.0/util -Ical-2.1
> -I/home/tommaso/lavoro/jdk1.6.0_22//include/linux -c -o buddy_jni.o
> buddy_jni.c
> buddy_jni.c: In function ‘Java_net_sf_javabdd_BuDDyFactory_makePair0’:
> buddy_jni.c:607: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:607: error: (Each undeclared identifier is reported only once
> buddy_jni.c:607: error: for each function it appears in.)
> buddy_jni.c:607: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_veccompose0’:
> buddy_jni.c:1742: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1742: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_replace0’:
> buddy_jni.c:1762: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1762: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set0’:
> buddy_jni.c:1783: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1783: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set1’:
> buddy_jni.c:1804: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1804: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set2’:
> buddy_jni.c:1838: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1838: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set3’:
> buddy_jni.c:1859: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1859: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_reset0’:
> buddy_jni.c:1893: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1893: error: expected ‘;’ before ‘pair’
> buddy_jni.c: In function
> ‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_free0’:
> buddy_jni.c:1911: error: ‘intptr_cast_type’ undeclared (first use in this
> function)
> buddy_jni.c:1911: error: expected ‘;’ before ‘pair’
> make: *** [buddy_jni.o] Errore 1
>
>
> What am I doing wrong?
>
> Thanks,
>   Tommaso
>
>
>
> ------------------------------------------------------------------------------
> Virtualization & Cloud Management Using Capacity Planning
> Cloud computing makes use of virtualization - but cloud computing
> also focuses on allowing computing to be delivered as a service.
> http://www.accelacomm.com/jaw/sfnl/114/51521223/
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>

[Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

[ciccio f. <ke...@gm...>]

Hi to everybody!

I'm trying to compile BuDDy+JavaBDD on an Intel Core2 duo 64bits box
running linux (ubuntu 64 bit) and Java 1.6. I modified the makefile in
order to specify
the 64bits requirement: -fPIC instead of -m32.
I've tried to follow the explanation included in javabdd developer mailing
list, and so
i have modified the buddy_jni.c:

#if __STDC_VERSION__ >= 199901
  #include <inttypes.h>
  #if INTPTR_MAX >= INT_MAX
    typedef intptr_t intptr_cast_type;
  #else /* no intptr_t, or intptr_t smaller than `int' */
    typedef intmax_t intptr_cast_type;
  #endif
#else
  #include <stddef.h>
  #include <limits.h>
  #if PTRDIFF_MAX >= INT_MAX
    typedef ptrdiff_t intptr_cast_type;
  #else
    typedef int intptr_cast_type;
  #endif
#endif

and i have eliminated the #else part and only kept:

#include <inttypes.h>
#if INTPTR_MAX >= INT_MAX
  typedef intptr_t intptr_cast_type;
#else /* no intptr_t, or intptr_t smaller than `int' */
  typedef intmax_t intptr_cast_type;
#endif

now when i try to compile i got this error:

cc -DSPECIALIZE_RELPROD -DSPECIALIZE_AND -DSPECIALIZE_OR -DSMALL_NODES -O2
-fomit-frame-pointer  -I. -I/home/tommaso/lavoro/jdk1.6.0_22//include
-Ibuddy/src -Ibuddy/src/.. -Icudd-2.4.0/cudd -Icudd-2.4.0/epd
-Icudd-2.4.0/mtr -Icudd-2.4.0/st -Icudd-2.4.0/util -Ical-2.1
-I/home/tommaso/lavoro/jdk1.6.0_22//include/linux -c -o buddy_jni.o
buddy_jni.c
buddy_jni.c: In function ‘Java_net_sf_javabdd_BuDDyFactory_makePair0’:
buddy_jni.c:607: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:607: error: (Each undeclared identifier is reported only once
buddy_jni.c:607: error: for each function it appears in.)
buddy_jni.c:607: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_veccompose0’:
buddy_jni.c:1742: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1742: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_replace0’:
buddy_jni.c:1762: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1762: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set0’:
buddy_jni.c:1783: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1783: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set1’:
buddy_jni.c:1804: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1804: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set2’:
buddy_jni.c:1838: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1838: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_set3’:
buddy_jni.c:1859: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1859: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_reset0’:
buddy_jni.c:1893: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1893: error: expected ‘;’ before ‘pair’
buddy_jni.c: In function
‘Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_free0’:
buddy_jni.c:1911: error: ‘intptr_cast_type’ undeclared (first use in this
function)
buddy_jni.c:1911: error: expected ‘;’ before ‘pair’
make: *** [buddy_jni.o] Errore 1


What am I doing wrong?

Thanks,
  Tommaso

Re: [Javabdd-devel] Loading dddmp files into JavaBDD

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

I'm not sure what format CUDD uses.  JavaBDD currently supports input/output
in BuDDy's BDD format.

-John


On Fri, Sep 30, 2011 at 10:21 AM, laini render <
mis...@gm...> wrote:

> Hi there,
>
> I want to be able to read in .bdd files output by CUDD (using dddmp) so
> that I may manipulate the data using the functionality of JavaBDD. Before I
> start writing this myself I wanted to see if anyone was aware of this having
> been done already and if so, where I might be able to snag the code. Any
> pointers appreciated.
>
> Thanks
>
> laini
>
>
> ------------------------------------------------------------------------------
> All of the data generated in your IT infrastructure is seriously valuable.
> Why? It contains a definitive record of application performance, security
> threats, fraudulent activity, and more. Splunk takes this data and makes
> sense of it. IT sense. And common sense.
> http://p.sf.net/sfu/splunk-d2dcopy2
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>

[Javabdd-devel] Loading dddmp files into JavaBDD

[laini r. <mis...@gm...>]

Hi there,

I want to be able to read in .bdd files output by CUDD (using dddmp) so that
I may manipulate the data using the functionality of JavaBDD. Before I start
writing this myself I wanted to see if anyone was aware of this having been
done already and if so, where I might be able to snag the code. Any pointers
appreciated.

Thanks

laini

Re: [Javabdd-devel] A full help or some examples

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

Hi Soheila,

Check out the JavaBDD_tests directory for some examples:
   http://javabdd.cvs.sourceforge.net/viewvc/javabdd/JavaBDD_tests/

-John


On Tue, Sep 20, 2011 at 9:08 AM, SOHEILA HAGHPANAH
<soh...@ya...>wrote:

> Dear All,
>
> I want to use javaBDD package but I am not familiar with the syntax.
> Is there any basic example that show me how to use it?
>
> Any help will be highly appreciated.
>
> Soheila Haghpanah.
>
>
>
>
> ------------------------------------------------------------------------------
> All the data continuously generated in your IT infrastructure contains a
> definitive record of customers, application performance, security
> threats, fraudulent activity and more. Splunk takes this data and makes
> sense of it. Business sense. IT sense. Common sense.
> http://p.sf.net/sfu/splunk-d2dcopy1
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>

[Javabdd-devel] A full help or some examples

[SOHEILA H. <soh...@ya...>]

Dear All,

I want to use javaBDD package but I am not familiar with the syntax.
Is there any basic example that show me how to use it?

Any help will be highly appreciated.

Soheila Haghpanah.

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

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

Hi John,

Thanks a lot for your reply.

> 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).

I think the max number of variables is 2097151 only if BuDDY is
compiled with SMALL_NODES preprocessor off. I think the release
version of the library is compiled with  SMALL_NODES on which restrict
the max number of var to 1k (I think).

I did compile the library from source with SMALL_NODES  off. I am now
allowed to have up to (2 097 151 =(0x1FFFFF)) 2M variables as you
mentioned.

Do you think we should update the release?

Thanks,

Hasan

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

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

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

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

[Javabdd-devel] Random number of nodes in a BDD, Why??

[Sergio S. <ser...@us...>]

Hi all,

I am solving a problem using JavaBDD (both with JFactory and JDDFactory).
When executing it several times, I found that the number of nodes of the
resultant BDD (bdd.nodeCount()) vary from an execution to another.
Reordering is disabled. The problem is always introduced in the same way
(readed from a XML file and transformed to a BDD). Is this normal? Are some
decisions taken randomly in JavaBDD?

Thank you very much in advance,
Sergio

Re: [Javabdd-devel] Model Checking - BDD help

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

Check out BDDDomain.  I think it will do what you need.

http://javabdd.sourceforge.net/apidocs/net/sf/javabdd/BDDDomain.html

You can specify a variable set for a relational product with BDDVarSet:

http://javabdd.sourceforge.net/apidocs/net/sf/javabdd/BDDVarSet.html

-John



On Tue, Mar 3, 2009 at 11:41 AM, Hayawardh V <hay...@gm...> wrote:

> Dear all,
>
> I am developing a simple model checker with BDDs, so I need BDDs of
> different sizes (the state BDD of size n, and transition BDD of size 2 * n,
> for some n). However, there is only one BDDFactory available, which can
> create BDDs of only a single size, when I do BDDFactory.setVarNum(n);
>
> Also, how do I specify the variable set for a relational product between
> BDDs of different size?
>
> Thanks,
> Hayawardh
>
>
> ------------------------------------------------------------------------------
> Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco,
> CA
> -OSBC tackles the biggest issue in open source: Open Sourcing the
> Enterprise
> -Strategies to boost innovation and cut costs with open source
> participation
> -Receive a $600 discount off the registration fee with the source code:
> SFAD
> http://p.sf.net/sfu/XcvMzF8H
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>
>

[Javabdd-devel] Model Checking - BDD help

[Hayawardh V <hay...@gm...>]

Dear all,

I am developing a simple model checker with BDDs, so I need BDDs of
different sizes (the state BDD of size n, and transition BDD of size 2 * n,
for some n). However, there is only one BDDFactory available, which can
create BDDs of only a single size, when I do BDDFactory.setVarNum(n);

Also, how do I specify the variable set for a relational product between
BDDs of different size?

Thanks,
Hayawardh

Re: [Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

[Fausto S. <fau...@un...>]

Thank you Mayur,

it worked perfectly!

Fausto

On Sat, 2008-11-01 at 14:21 -0700, Mayur Naik wrote:
> Fausto,
> 
> I too used to run into this problem quite often and I think I've
> figured how to fix it.  The compilation warnings you mention about
> integer to pointer cast point to the problem.  It is in file
> buddy_jni.c:

Re: [Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

[Mayur N. <may...@gm...>]

John,

I've noticed (e.g. from users of my Chord tool which is built on top
of bddbddb) that people run into a lot of problems building and
running JavaBDD on 64-bit machines.  Given that such machines are
getting increasingly common, it would be great if you could provide
pre-compiled binaries for such machines, just like you've provided the
32-bit ones.

Fausto,

I too used to run into this problem quite often and I think I've
figured how to fix it.  The compilation warnings you mention about
integer to pointer cast point to the problem.  It is in file
buddy_jni.c:

#if __STDC_VERSION__ >= 199901
  #include <inttypes.h>
  #if INTPTR_MAX >= INT_MAX
    typedef intptr_t intptr_cast_type;
  #else /* no intptr_t, or intptr_t smaller than `int' */
    typedef intmax_t intptr_cast_type;
  #endif
#else
  #include <stddef.h>
  #include <limits.h>
  #if PTRDIFF_MAX >= INT_MAX
    typedef ptrdiff_t intptr_cast_type;
  #else
    typedef int intptr_cast_type;
  #endif
#endif

If you eliminate the #else part and only keep:

#include <inttypes.h>
#if INTPTR_MAX >= INT_MAX
  typedef intptr_t intptr_cast_type;
#else /* no intptr_t, or intptr_t smaller than `int' */
  typedef intmax_t intptr_cast_type;
#endif

and then recompile everything, then I think you should be fine.  Let
me know if this solution works for you.  It worked for me but I use an
older (and faster) version of JavaBDD.

-- Mayur


On Thu, Oct 30, 2008 at 7:20 AM, Fausto Spoto <fau...@un...> wrote:
> Thank you for the hint, but those libraries are only linked under
> Windows while I'm compiling under Linux, so the problem must be
> elsewhere!
>
> Fausto
>
> On Wed, 2008-10-29 at 17:50 +0100, Florent Teichteil wrote:
>> It seems you're still linking to 32-bits libraries:
>> > LINKFLAGS = -MLd -LDd -Zi /link /libpath:$(JDK_ROOT)/lib user32.lib
>> > gdi32.lib
>>
>
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>

Re: [Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

[Fausto S. <fau...@un...>]

Thank you for the hint, but those libraries are only linked under
Windows while I'm compiling under Linux, so the problem must be
elsewhere!

Fausto

On Wed, 2008-10-29 at 17:50 +0100, Florent Teichteil wrote:
> It seems you're still linking to 32-bits libraries:
> > LINKFLAGS = -MLd -LDd -Zi /link /libpath:$(JDK_ROOT)/lib user32.lib
> > gdi32.lib
> 

Re: [Javabdd-devel] compiling BuDDy+JavaBDD on a 64bits architecture

[Florent T. <flo...@gm...>]

It seems you're still linking to 32-bits libraries:
> LINKFLAGS = -MLd -LDd -Zi /link /libpath:$(JDK_ROOT)/lib user32.lib
> gdi32.lib