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

Author: Abramo Bagnara abramo.bagnara@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=8e3ada8b8...