October 2005 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Roberto Bagnara 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-15 15:23:32 Modified files: . : NEWS Log message: Provide better visual separation for "displayed" material. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16…

1 0

ppl NEWS
by Roberto Bagnara 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-15 15:20:34 Modified files: . : NEWS Log message: Ellipsis has a well-defined meaning in C++: avoid using it to signify "parameters omitted". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15…

1 0

ppl CREDITS
by Roberto Bagnara 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-15 11:07:04 Modified files: . : CREDITS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/src Constraint_System.defs.hh Constraint_S ...
by Enea Zaffanella 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-15 09:40:24 Modified files: src : Constraint_System.defs.hh Constraint_System.inlines.hh Generator_System.defs.hh Generator_System.inlines.hh Log message: Classes Constraint_System and Generator_System now have a private method simplify() that calls the new method of class Linear_System. In the case of generators, the wrapper method also removes any invalid rays or lines that may have been generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.…

1 0

ppl/src Generator_System.cc
by Enea Zaffanella 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-15 09:36:59 Modified files: src : Generator_System.cc Log message: Do exploit new method Generator::is_line_or_ray(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Generator.inlines.hh
by Enea Zaffanella 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-15 09:34:16 Modified files: src : Generator.inlines.hh Log message: Do exploit new method Generator::is_line_or_ray(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 15 Oct '05

15 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-15 09:33:13 Modified files: tests/Polyhedron: Makefile.am Log message: Corrected a dependency bug: test nnc_boudningbox5 was compiling source file boundingbox3.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

Yap 5 bug? Not all required include files are installed under Cygwin
by Roberto Bagnara 15 Oct '05

15 Oct '05

Hi there, the subject says it all. Under Cygwin, c_interface.h is installed in $PREFIX/include/Yap. However, c_interface.h immediately includes YapInterface.h, and this is not installed. Here is the relevant excerpt from the output of `make install': ... /usr/bin/install -c ./H/TermExt.h ./H/Atoms.h ... /usr/bin/install -c ./include/c_interface.h /usr/local/include/Yap/c_interface.h /usr/bin/install -c config.h /usr/local/include/Yap/config.h (cd library/random; make install) make[1]: Entering directory `/usr/local/distrib/Yap-5.0.0/library/random' /usr/bin/install -c random.dll /usr/local/lib/Yap ... 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

2 1

ppl/src Linear_System.cc Linear_System.defs.hh ...
by Enea Zaffanella 14 Oct '05

14 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-14 19:53:23 Modified files: src : Linear_System.cc Linear_System.defs.hh Polyhedron.inlines.hh Polyhedron_public.cc simplify.cc Log message: Linear_System methods gauss() and back_substitute() modified so as to assert all the known preconditions. Method gauss() also modified so as to receive as input the number of lines/equalities on which it should be applied. Added a new method Linear_System::simplify() that takes care of appropriately combine the two methods above when needed, so as to ensure that all preconditions are met. The new method is now used in the implementation of Polyhedron::shrink_bounding_box() and Polyhedron::OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

Request Info
by pasquale spica 14 Oct '05

14 Oct '05

Spett.le Gruppo di Ricerca della Parma Polyhedra Library sono uno studente che stà utilizzando la liberia PPL ( in C++) ed ho notato che nella classe Parma_Polyhedra_Library::Polyhedra_Powerset< PH > non è previsto un metodo UNION fra powerset di poliedri in pratica se ho due powerset poliedri, per alcune mie esigenze, non so come fare. E' forse possible farlo in qualche modo? Ad un certo punto del mio codice ho : Polyhedra_Powerset<NNC_Polyhedron>* or1 =set_poly_pwset(*i); Polyhedra_Powerset<NNC_Polyhedron>* or2 =set_poly_pwset(*f); dove la funzione set_poly_pwset ha la seguente signature : Polyhedra_Powerset<NNC_Polyhedron>* PplInterface::set_poly_pwset(Term *t) ora mi va bene tutto ma come posso fare l'OR fra or1 e or2. Nel ringraziarvi della vostra diponibilità porgo i miei più cordiali saluti Pasquale Spica _________________________________________________________________ Personalizza MSN Messenger con sfondi e fotografie! http://www.ilovemessenger.msn.it/

2 1