[PPL-devel] [GIT] ppl/ppl(devel): Be more consistent in the usage of PPL_DIRTY_TEMP macros.

[Enea Zaffanella]

Module: ppl/ppl
Branch: devel
Commit: 6b995ed0383990716171272238c550a02889fc13
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b995ed0383990716171272238c550a02889fc13

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 10 09:47:40 2016 +0100

Be more consistent in the usage of PPL_DIRTY_TEMP macros.
Got rid of a couple of FIXME's.

---

 src/BD_Shape_templates.hh        |    8 ++--
 src/Box_defs.hh                  |    3 +-
 src/Box_templates.hh             |   70 +++++++++++++++++++-------------------
 src/Octagonal_Shape_templates.hh |    8 ++--
 src/Polyhedron_nonpublic.cc      |   11 +-----
 src/Polyhedron_public.cc         |   11 +-----
 src/Polyhedron_templates.hh      |    4 +-
 7 files changed, 51 insertions(+), 64 deletions(-)

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