October 2001 - PPL-devel - BUGSENG Mailman

ppl src/Polyhedron.cc tests/affinetrans.cc tes ...
by Enea Zaffanella 25 Oct '01

25 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-25 23:21:08 Modified files: src : Polyhedron.cc tests : affinetrans.cc append1.cc append2.cc error3.cc permute.cc Log message: Going on ading the right dimension-compatibility checks. Now the tests are all passed (some of them changed to declare polyhedra dimensions in the constructors, other changed by calling operator add_dimensions_and_embed). 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/affinetrans.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/src Generator.cc
by Enea Zaffanella 25 Oct '01

25 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-25 20:59:05 Modified files: src : Generator.cc Log message: Strange code indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 25 Oct '01

25 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: ericci(a)cs.unipr.it 2001-10-25 20:36:14 Modified files: src : Polyhedron.cc Log message: In operator <=(x,y) we only need the generators of x and the constraints of y. In functions intersection_assign and convex_hull, we did two checks of the dimension of the space (one with space_dimension() and the other with num_columns()). In functions add_dimensions_and_embed and add_dimensions_and_project we have both the system of constraints and the system of generators minimized when we add some dimensions to a polyhedron in a 0-dimensional space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ibiblio action notice from the `keeper' program
by Linux Keeper 25 Oct '01

25 Oct '01

At about 2001-10-25 14:52:04 UCT, `keeper' moved the following files from Incoming to libs (special (non-libc) linking libraries): ppl-0.1.tar.gz c++ library for the manipulation of polyhedra ppl.lsm Thank you for your contribution of time, effort, and creativity. This message was a form letter generated by keeper 1.54, but replying to it will reach the human who told keeper what to do. You got this note because you're listed as a maintainer or author in the archive part involved. If your package was actually uploaded by someone else, and you know who that person is, please try to get that person to list him or herself in the LSM. -- Serena Fenton (ibiblio co-maintainer) fents(a)ibiblio.org

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh s ...
by Enea Zaffanella 25 Oct '01

25 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-25 16:45:51 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh tests : permute.cc Log message: Added private member Polyhedron::space_dim, which stores the number of dimensions of the enclosing space. Public member Polyhedron::num_dimensions() renamed into Polyhedron::space_dimension() and now reads the member space_dim. Started modifying methods of the class Polyhedron so that they consistently use space_dimension() and space_dim. Started guarding methods by suitable dimension-compatibility checks. 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/src/Polyhedron.defs.hh.diff?c… 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/tests/permute.cc.diff?cvsroot…

1 0

Re: [Doxygen-users] hiding internal classes.
by Roberto Bagnara 25 Oct '01

25 Oct '01

"Jesper K. Pedersen" wrote: > > If I have an internal class for a library, is there then a way to hide it > (i.e. make sure that it does not appear in the documentation)? Hi Jesper, here is the hack we use in the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/): #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! This class implements conjunctions of assertions about a polyhedron. The assertions supported are: - zero-dim: the polyhedron is the zero-dimensional singleton \f$\Rset^0 = \{\cdot\}\f$; - empty: the polyhedron is the empty set; - constraints up-to-date: the polyhedron is correctly characterized by the attached system of constraints; ... #endif // PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS class Parma_Polyhedra_Library::Status { ... }; Then when producing the developer's manual we have PREDEFINED = PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS in the Doxygen configuration file. When producing the user's manual we use a configuration file saying PREDEFINED = As I said, it is a hack and I really hope there is/will be a better way to do that. Of course, we have the same problem with "internal" functions, "internal" enums... anything. All the best, Roberto -- 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/src Polyhedron.defs.hh
by Enea Zaffanella 25 Oct '01

25 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-25 11:28:12 Modified files: src : Polyhedron.defs.hh Log message: All comparison operators on Polyhedron throw an exception when the two polyhedra are dimension-incompatible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Enea Zaffanella 25 Oct '01

25 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: zaffanella(a)cs.unipr.it 2001-10-25 11:18:27 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: Added an informal specification for dimension-compatibility. The specification of Polyhedron::insert now says that an exception is thrown if the argument is dimension-incompatible with the polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Generator.defs.hh Polyhedron.cc Polyhe ...
by Enea Zaffanella 24 Oct '01

24 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-24 20:16:42 Modified files: src : Generator.defs.hh Polyhedron.cc Polyhedron.defs.hh Log message: Exceptions are thrown when polyhedra are dimension-incompatible. Patches: 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/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 24 Oct '01

24 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-24 20:15:17 Modified files: doc : definitions.dox Log message: Better explained the difference between the dimension of the polyhedron and the dimension of the enclosing space. The terminology "dimension-consistent" added. Pointed out what seems to be a problem with empty polyhedrons (what is the dimensions of their enclosing space?) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0