Module: ppl/ppl Branch: master Commit: 17ee1020a0d93e9dfd71a4f27669e8385d5e241e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17ee1020a0d93...

Author: Roberto Amadini r.amadini@virgilio.it Date: Tue Dec 29 20:05:29 2009 +0100

Renamed affine_image on Linear Forms into affine_form_image.

---

src/BD_Shape.defs.hh | 43 +++--- src/BD_Shape.templates.hh | 26 ++-- src/Box.defs.hh | 7 +- src/Box.templates.hh | 13 +- src/Octagonal_Shape.defs.hh | 7 +- src/Octagonal_Shape.templates.hh | 10 +- src/Polyhedron.defs.hh | 5 +- src/Polyhedron.templates.hh | 8 +- tests/Floating_Point_Expression/bdshape1.cc | 64 ++++---- tests/Floating_Point_Expression/digitalfilters1.cc | 166 ++++++++++---------- tests/Floating_Point_Expression/octagonalshape1.cc | 64 ++++---- tests/Floating_Point_Expression/polyhedron1.cc | 48 +++--- tests/Floating_Point_Expression/polyhedron2.cc | 4 +- 13 files changed, 237 insertions(+), 228 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=17ee1020a...