January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_nonpublic.cc
by Matthew Mundell 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-31 19:03:30 Modified files: src : Grid_nonpublic.cc Log message: Replace the empty check in the minimize() case where both systems are up-to-date with an assertion that the congruence system is empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

w3ppl/htdocs/Contribute Contribute.raw
by Enea Zaffanella 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-31 14:54:43 Modified files: htdocs/Contribute: Contribute.raw Log message: Corrected a typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Contribute/Contribut…

1 0

const Constraint_System& T::constraints()
by Roberto Bagnara 31 Jan '06

31 Jan '06

The polyhedra classes all provided such a method. The original reason is that it seemed the natural thing to do, since it provided the required information without requiring external storage. The new semantic objects of the PPL cannot provide a sensible implementation of such a method, so, for consistency, they should provide the following method (BD_Shape<T> does it, Grids does not do it yet): //! Returns a system of constraints defining \p *this. Constraint_System constraints() const; Such a method, however, requires the creation of a temporary that the compiler normally is not able to elide. Of course, the above is valid also for generators, congruences and grid-generators. I thus propose to augment the interface of all the PPL semantic objects with methods of the form /*! \brief Assigns to \p cs a system of constraints defining the smallest convex polyhedron that contains \p *this. */ void constraints(Constraint_System& cs) This way, it is the caller to provide storage for the result and copies can be avoided. Comments are welcome. 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

1 0

ppl/tests/Grid removespacedims2.cc
by Matthew Mundell 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-31 13:20:40 Modified files: tests/Grid : removespacedims2.cc Log message: Add tests where: the resulting grid is the zero dimension universe, the resulting grid is the same, a space dimension exception is thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.c…

1 0

ppl/tests/Grid removespacedims1.cc
by Matthew Mundell 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-31 13:18:06 Modified files: tests/Grid : removespacedims1.cc Log message: Add tests of: the exception case, passing the empty variable set and an outcome of a zero dimension universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.c…

1 0

ppl/tests/Grid foldspacedims1.cc expandspacedi ...
by Matthew Mundell 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-31 13:16:01 Modified files: tests/Grid : foldspacedims1.cc expandspacedim1.cc Log message: Add tests of exception cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc…

1 0

ppl/tests/Grid concatenate1.cc
by Matthew Mundell 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-31 13:10:38 Modified files: tests/Grid : concatenate1.cc Log message: Add possible space dimension exception test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/concatenate1.cc.di…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 31 Jan '06

31 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-31 13:09:41 Modified files: src : Grid_chdims.cc Log message: Correct exception message in expand_space_dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/tests/Grid addspacedims2.cc addspacedims1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 20:00:23 Modified files: tests/Grid : addspacedims2.cc addspacedims1.cc Log message: Update tests to always call find_variation only once, directly after the operation under test. Add tests with space dimension exceptions, zero dimension universes, minimized congruences, and out-of-date congruences with minimized generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims2.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.d…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 19:54:41 Modified files: src : Grid_chdims.cc Log message: Update add_space_dimensions_and_project to adjust dim_kinds when generators are out of date and congruences are minimized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0