[PPL-devel] [GIT] ppl/ppl(master): Added helper function check_space_dimension_overflow ().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 22 19:36:39 2012 +0100

Added helper function check_space_dimension_overflow().
Added similar helper in class Polyhedron and got rid of no longer needed
method throw_space_dimension_overflow().
Exploit the new helper to simplify space dim checking in constructors.

---

 src/Box.defs.hh               |    3 -
 src/Box.templates.hh          |  134 ++++++++++++++++++++++-------------------
 src/C_Polyhedron.cc           |   40 ++++++-------
 src/C_Polyhedron.inlines.hh   |   98 +++++++++++++-----------------
 src/Grid.defs.hh              |    5 --
 src/Grid.inlines.hh           |   96 +++++++++++++++--------------
 src/Grid.templates.hh         |   17 +++---
 src/Grid_Generator.cc         |    2 +-
 src/Grid_chdims.cc            |   37 +++++++-----
 src/Grid_nonpublic.cc         |    9 ---
 src/Grid_public.cc            |   43 +++++++------
 src/NNC_Polyhedron.cc         |   40 ++++++-------
 src/NNC_Polyhedron.inlines.hh |   98 +++++++++++++-----------------
 src/Polyhedron.defs.hh        |   19 ++++--
 src/Polyhedron.templates.hh   |   12 ++++
 src/Polyhedron_chdims.cc      |   41 +++++++------
 src/Polyhedron_nonpublic.cc   |   27 +++++----
 src/globals.cc                |   16 +++++
 src/globals.defs.hh           |    7 ++
 19 files changed, 380 insertions(+), 364 deletions(-)

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