
CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2007-02-26 22:47:11
Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Box.templates.hh Makefile.am Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Polyhedron.templates.hh globals.defs.hh globals.inlines.hh Removed files: src : Old_Interval.cc Old_Interval.defs.hh Old_Interval.inlines.hh Old_Interval.types.hh
Log message: Got rid of Old_Interval and related classes. Functions div_round_up(), is_additive_inverse(), is_even(), max_assign(), min_assign() and numer_denom() moved to globals.defs.hh and globals.inlines.hh. The method Polyhedron::shrink_bounding_box() is now based on Box constructors.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Old_Interval.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Old_Interval.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Old_Interval.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Old_Interval.types.hh.diff...