Module: ppl/ppl Branch: bounded_arithmetic Commit: 099c11d215bf8bf113bec36fbe1b802d939bf92b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099c11d215bf8...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 2 18:16:44 2009 +0200

Implementation of wrap_assign() made generic. The same implementation is now used for Polyhedron, BD_Shape and Octagonal_Shape.

---

src/BD_Shape.defs.hh | 49 +++++ src/BD_Shape.templates.hh | 15 ++ src/Makefile.am | 1 + src/Octagonal_Shape.defs.hh | 49 +++++ src/Octagonal_Shape.templates.hh | 15 ++ src/Polyhedron.defs.hh | 6 +- src/Polyhedron_public.cc | 146 ++------------ src/wrap_assign.hh | 302 +++++++++++++++++++++++++++++ tests/Octagonal_Shape/Makefile.am | 3 + tests/Octagonal_Shape/wrap1.cc | 382 +++++++++++++++++++++++++++++++++++++ tests/Polyhedron/wrap1.cc | 182 ++++++++++++++++++ 11 files changed, 1021 insertions(+), 129 deletions(-)

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