[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Implementation of wrap_assign() made generic.
Roberto Bagnara
bagnara at cs.unipr.it
Sat May 2 18:18:02 CEST 2009
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 099c11d215bf8bf113bec36fbe1b802d939bf92b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099c11d215bf8bf113bec36fbe1b802d939bf92b
Author: Roberto Bagnara <bagnara at 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=099c11d215bf8bf113bec36fbe1b802d939bf92b
More information about the PPL-devel
mailing list