February 2004 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 09 Feb '04

09 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-09 08:54:41 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: All names that are not dependent on template parameters are bound to their present definitions when parsing a template function or class: make sure elements of the base class are correctly referred to. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl configure.ac
by Roberto Bagnara 08 Feb '04

08 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-08 21:20:50 Modified files: . : configure.ac Log message: Fixed some error messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src AskTell.inlines.hh
by Roberto Bagnara 08 Feb '04

08 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-08 21:17:47 Modified files: src : AskTell.inlines.hh Log message: Missing `typename' added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?c…

1 0

[Fwd: Re: [PPL-devel] Print functions in C interface]
by Roberto Bagnara 06 Feb '04

06 Feb '04

-------- Original Message -------- Subject: Re: [PPL-devel] Print functions in C interface Date: Fri, 06 Feb 2004 12:18:36 -0500 From: Hosung Song <hosungs(a)umich.edu> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <402003F9.6070208(a)umich.edu> <4022131D.6090308(a)cs.unipr.it> <402398E1.4040107(a)cs.unipr.it> Dear Professor Bagnara, My enormous thanks for your highest level of support. I downloaded, compiled, installed, and tested the snapshot with my current project, and it just works fine as expected. I also subscribe to the lists, so you don't have to send to my email address separately. Thanks again. Best regards, Hosung Roberto Bagnara wrote: > Roberto Bagnara wrote: > >> If you are willing to alpha-test the new C output functions, please >> let us know: we will prepare a snapshot distribution you can play with. > > > Dear Hosung, > > the snapshot is there anyway. If you want to take a look at the new > C output functions point your browser to > > ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ > > and choose your favorite archive format. > All the best, > > Roberto > -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: PPL and parameters]
by Roberto Bagnara 06 Feb '04

06 Feb '04

-------- Original Message -------- Subject: PPL and parameters Date: Fri, 6 Feb 2004 15:23:57 +0100 From: Sven Verdoolaege <skimo(a)kotnet.org> To: bagnara(a)cs.unipr.it I'm working on counting the number of points in parametrized polyhedra. (http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW376.abs.html) Currently, I'm using PolyLib because I could reuse a lot from the previous implementation. But PolyLib has some problems. For one, each time a polytope is created, it creates new mpz_ts, which results in a lot of calls to mpz_init and mpz_clear. Does PPL handle this differently ? A quick glance at the documentation suggests that PPL only supports what Omega would call "set variables". Are there any plans for supporting parameters and/or existential variables ? skimo -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl configure.ac
by Roberto Bagnara 06 Feb '04

06 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-06 11:05:00 Modified files: . : configure.ac Log message: Disable the interface/OCaml directory, for the time being. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

3 3

Print functions in C interface
by Hosung Song 06 Feb '04

06 Feb '04

Dear PPL developers, Greetings. I'm using your PPL library through C interface. I found there's no printing functions, so I tried to make my own, and it took me couple of hours why my interface didn't work, because my C++ knowledge is so old and premature. I think I finally got them correct, and I'd like to get some confirmation from you, and hopefully, ask you to incorporate the print functions in C interface. I put the following two functions at the end of ppl_c.cc, for printing constraints and polyhedra. ------------------------------ #include <iostream> using namespace std; using namespace Parma_Polyhedra_Library; using namespace Parma_Polyhedra_Library::IO_Operators; int ppl_print_Constraint(ppl_const_Constraint_t c) try { const Constraint& cc = *to_const(c); cout << cc << endl; return 0; } CATCH_ALL int ppl_print_Polyhedron(ppl_const_Polyhedron_t ph) try { const Polyhedron& phph = *to_const(ph); cout << phph << endl; return 0; } CATCH_ALL --------------- I didn't know iostream.h was deprecated and I had learned the namespaces when I studied C++. So it took a while with lots of compile errors/warnings and finally I had this compiled smooth. I also added the following to ppl_c.h --------------------- int ppl_print_Constraint(ppl_const_Constraint_t c); int ppl_print_Polyhedron(ppl_const_Polyhedron_t ph); --------------------- Would you confirm if these are correct interfaces for printing? I'm wondering if you could improve these so that we can pass a file pointer to the functions and redirect the output not just to stdout, but the file designated by the file pointer. Thank you very much for your invaluable libraries. Best wishes, Hosung Song

2 2

ppl/interfaces/C/lpenum expected
by Roberto Bagnara 06 Feb '04

06 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-06 08:38:51 Modified files: interfaces/C/lpenum: expected Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/expected.…

1 0

ppl/interfaces Makefile.am
by Roberto Bagnara 05 Feb '04

05 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-05 22:57:41 Modified files: interfaces : Makefile.am Log message: Ignore the OCaml subdirectory, for the time being. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl configure.ac
by Roberto Bagnara 05 Feb '04

05 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-05 22:23:32 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0