March 2002 - PPL-devel - BUGSENG Mailman

ppl/src ConSys.cc ConSys.inlines.hh Constraint ...
by Enea Zaffanella 15 Mar '02

15 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-15 10:51:19 Modified files: src : ConSys.cc ConSys.inlines.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh GenSys.cc GenSys.inlines.hh Generator.defs.hh Generator.inlines.hh LinExpression.inlines.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Row.defs.hh Row.inlines.hh conversion.cc Log message: Removed enumeration Type from class Row: added enumerations PolyhedronKind and RowKind; they are merged into a single object using new class Row::Type. Rows now rememberif they have or not the \epsilon coefficient. Constructors for Matrix now have a boolean flag indicating whether or not the matrix has the \epsilon coefficient. The flag is remembered in order to correctly set the type of new rows. Added support for creating constraints that are strict inequalities and generators that are closure points. Added support for adding these two new kind of objects to constraint systems and generator systems (with automatic detection and resizing if needed). Constraints, generators and the respective systems space-dimensions now depend on the Polyhedron kind of the corresponding rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

We all need to remember this
by Roberto Bagnara 15 Mar '02

15 Mar '02

``Premature optimization is the root of all evil.'' -- Donald E. Knuth -- 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/doc definitions.dox
by Elisa Ricci 15 Mar '02

15 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-03-15 08:55:09 Modified files: doc : definitions.dox Log message: Improved the proposition that is before the definition of the ray space: we were using an object that was not defined before. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 14 Mar '02

14 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-14 15:57:51 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Draft descriptions for all the new predicates added. A few other small improvements made. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Patricia Hill 14 Mar '02

14 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-14 13:34:57 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Improved ppl_affine_image and ppl_affine_preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/doc definitions.dox
by Elisa Ricci 14 Mar '02

14 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-03-14 12:22:03 Modified files: doc : definitions.dox Log message: Improved the definition of minimal proper face. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Elisa Ricci 14 Mar '02

14 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-03-14 10:56:23 Modified files: doc : definitions.dox Log message: Corrected two errors in the definition of minimal proper face: I have written "C" instead of "P". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Elisa Ricci 14 Mar '02

14 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-03-14 09:21:03 Modified files: doc : definitions.dox Log message: Improved the documentation about the faces of a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

Prolog (and C++) interfaces toot lax?
by Roberto Bagnara 14 Mar '02

14 Mar '02

Dear all, while I was trying the Prolog interfaces, I wrote ppl_relation_with_generator(P, point(1), L) which was happily accepted, but then I got a wrong result. What I meant to write was ppl_relation_with_generator(P, point(X), L) or, for more verbosity, ppl_relation_with_generator(P, point(1*X), L). Thus I thought I should change the code of the Prolog interface so that an exception is thrown in case of invalid generators such as point(1). But then I realized that silly generators can also be created in C++, even though one needs to be more motivation to come up with things like Generator g(point(LinExpression(1))); Should we disallow these things also in C++? Are there other places were we are a bit sloppy? Please, let me know what you think. Ciao 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/tests Makefile.am relations9.cc
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 21:29:22 Modified files: tests : Makefile.am Added files: tests : relations9.cc Log message: New test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations9.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0