[PPL-devel] [GIT] ppl/ppl(master): Simplified PPL_DIRTY_TEMP.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 11 14:07:46 2011 +0200

Simplified PPL_DIRTY_TEMP.

---

 interfaces/Prolog/SWI/swi_efli.cc |    4 +-
 src/BD_Shape.templates.hh         |   28 ++++++++--------
 src/Bit_Row.inlines.hh            |    2 +-
 src/Box.inlines.hh                |    6 ++--
 src/Box.templates.hh              |   62 ++++++++++++++++++------------------
 src/Generator.inlines.hh          |    8 ++--
 src/Interval_Restriction.defs.hh  |    4 +-
 src/MIP_Problem.cc                |    6 ++--
 src/Octagonal_Shape.templates.hh  |   32 +++++++++---------
 src/Polyhedron_nonpublic.cc       |    6 ++--
 src/Polyhedron_public.cc          |    8 ++--
 src/Temp.defs.hh                  |   32 ++-----------------
 src/Temp.inlines.hh               |   12 ++-----
 src/checked.inlines.hh            |    2 +-
 src/checked_int.inlines.hh        |    2 +-
 src/checked_mpz.inlines.hh        |    4 +-
 src/conversion.cc                 |    2 +-
 src/fpu-ia32.cc                   |   16 +++++-----
 src/globals.defs.hh               |    2 +-
 src/math_utilities.inlines.hh     |    8 ++--
 20 files changed, 107 insertions(+), 139 deletions(-)

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