CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2002-04-05 10:38:48 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: In Polyhedron.inlines.hh: shrink_bounding_box now handles the empty polyhedron correctly. In boundingbox1.cc: BBox and Interval improved and many tests added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cvs...