November 2002 - PPL-devel - BUGSENG Mailman

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Elisa Ricci 14 Nov '02

14 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-14 09:43:33 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: Corrected an error in Polyhedron::shrink_bounding_box(Box& box, Complexity_Class complexity). Added two tests to verify this method. In boundingbox1.cc, corrected also test10 that did not verify if the resulting box computed using POLYNOMIAL were equal to the "known_pbox". Patches: 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/boundingbox1.cc.diff?cv…

1 0

ppl/tests Makefile.am topclosure4.cc
by Elisa Ricci 13 Nov '02

13 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-13 18:51:59 Modified files: tests : Makefile.am Added files: tests : topclosure4.cc Log message: Added a new test to verify Polyhedron::topological_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure4.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.inlines.hh
by Elisa Ricci 13 Nov '02

13 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-13 18:50:15 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: Improved Polyhedron::intersection_assign(), Polyhedron::poly_hull_assign(), Polyhedron::add_generator(), Polyhedron::add_constraint(), Polyhedron::concatenate_assign(), Polyhedron::add_constraints(), Polyhedron::add_generators() and modified Polyhedron::topological_closure_assign() and Polyhedron::shrink_bounding_box(Box& box, Complexity_Class complexity) in the case in which the polyhedra can have something pending. 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.inlines.hh.dif…

1 0

ppl/src GenSys.cc GenSys.defs.hh
by Elisa Ricci 13 Nov '02

13 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-13 18:43:23 Modified files: src : GenSys.cc GenSys.defs.hh Log message: Added the method add_corresponding_points(const GenSys& gs) that add to *this the "corresponding point of the closure points of "gs" and of *this". Patches: 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.defs.hh.diff?cvsro…

1 0

ppl/tests Makefile.am addconstraints13.cc addg ...
by Elisa Ricci 13 Nov '02

13 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-13 10:58:16 Modified files: tests : Makefile.am addconstraints13.cc Added files: tests : addgenerators12.cc affineimage8.cc affinepreimage10.cc relations19.cc timeelapse8.cc Log message: Added some other tests that verify the methods Polyhedron::add_generators(), Polyhedron::add_generators_and_minimize(), Polyhedron::affine_image(), Polyhedron::affine_preimage(), Polyhedron::relation_with() and Polyhedron::time_elapse_assign() in the case in which the polyhedra can have something pending. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators12.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage8.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage10.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations19.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse8.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints13.cc.dif…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 13 Nov '02

13 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-13 10:49:41 Modified files: src : Polyhedron.cc Log message: Improved Polyhedron::is_bounded() and Polyhedron::bounds(). Corrected Polyhedron::is_topologically_closed(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 13 Nov '02

13 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-11-13 09:13:11 Modified files: interfaces/Prolog: pl_check.pl Log message: pl_check.pl now avoids unifying terms with constraint and generator systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/tests Makefile.am addconstraints13.cc conc ...
by Elisa Ricci 12 Nov '02

12 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-12 17:32:34 Modified files: tests : Makefile.am Added files: tests : addconstraints13.cc concatenate6.cc constraints4.cc generators6.cc intersection11.cc polyhull9.cc Log message: Added some new tests that verify the case in which the polyhedron can have something pending. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints13.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate6.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/constraints4.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators6.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection11.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull9.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.inlines.hh
by Elisa Ricci 12 Nov '02

12 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-12 17:30:24 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: Improved operator<=(x, y) and Polyhedron::concatenate_assign(y) in the case that the polyhedra have something pending. 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.inlines.hh.dif…

1 0

ppl/src Polyhedron.inlines.hh
by Elisa Ricci 12 Nov '02

12 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-12 16:21:47 Modified files: src : Polyhedron.inlines.hh Log message: Considered the case of a polyhedron that has something pending in Polyhedron::shrink_bounding_box(Box& box, Complexity_Class complexity) and in Polyhedron::shuffle_dimensions(const PartialFunction& pfunc). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0