July 2002 - PPL-devel - BUGSENG Mailman

Question about converting integers in PPL
by Martin Rohde 23 Jul '02

23 Jul '02

hello, I have (simple) a question about using PPL 0.4: I cannot find how to convert a coefficient (of a constraint or generator) to the normal integer type. In my code I do the following; c1 is a constraint which is defined earlier in the code. Now I try to convert a coefficient with c1_int = mpz_get_si(c1.coefficient(Variable(0))) but this doesn't work, probably because the coefficient is not of the regular gmp format (c1_int is a standard integer) How can I convert coefficients to 'normal' integers (or double integers)? Thank you for your help! Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl

3 3

ppl/interfaces/Prolog Ciao/ppl_ciao.cc GNU/ppl ...
by Roberto Bagnara 22 Jul '02

22 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-22 15:37:24 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Comments fixed. Avoid macros with unused parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl ./configure.ac interfaces/Prolog/Makefile. ...
by Roberto Bagnara 22 Jul '02

22 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-22 15:33:29 Modified files: . : configure.ac interfaces/Prolog: Makefile.am Added files: interfaces/Prolog/XSB: Makefile.am ppl_xsb.H ppl_xsb.cc Log message: New Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog/XSB
by Roberto Bagnara 22 Jul '02

22 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-22 15:26:29 ppl/interfaces/Prolog/XSB Update of /cvs/ppl/ppl/interfaces/Prolog/XSB In directory spartacus.cs.unipr.it:/tmp/cvs-serv27484/XSB Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog/XSB added to the repository

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Enea Zaffanella 22 Jul '02

22 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-07-22 14:29:39 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : polydifference2.cc Log message: The corrections of the bug identified in revisions 1.193 and 1.194 of the HEAD branch are now reported in the ppl-0_4-branch. The same for the test that outlighted the bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

Question about converting integers in PPL (again)
by Martin Rohde 12 Jul '02

12 Jul '02

I think the first mail did not work (at least I did not receive my own mail which was sent to this address), so I try it again. ------------ hello, I have (simple) a question about using PPL 0.4: I cannot find how to convert a coefficient (of a constraint or generator) to the normal integer type. In my code I do the following; c1 is a constraint which is defined earlier in the code. Now I try to convert a coefficient with c1_int = mpz_get_si(c1.coefficient(Variable(0))) but this doesn't work, probably because the coefficient is not of the regular gmp format (c1_int is a standard integer) How can I convert coefficients to 'normal' integers (or double integers)? Thank you for your help! Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 14:27:55 Modified files: htdocs/Bugs : Bugs.raw Log message: Little adjustement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 14:24:45 Modified files: htdocs/Bugs : Bugs.raw Log message: Added another sentence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 14:18:25 Modified files: htdocs/Bugs : Bugs.raw Log message: Some improvements in style. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 14:04:16 Modified files: htdocs/Bugs : Bugs.raw Log message: A couple of bugs for version 0.4 reported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0