[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Reorganized and separated Result classes to be more informative.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 11:48:59 2009 +0200

Reorganized and separated Result classes to be more informative.

---

 src/Boundary.defs.hh             |   31 +++++----
 src/Box.templates.hh             |    7 +-
 src/Checked_Number.cc            |   10 +--
 src/Checked_Number.inlines.hh    |   32 +++++-----
 src/Circular_Interval.defs.hh    |   16 ++--
 src/DB_Matrix.templates.hh       |    2 +-
 src/Interval.defs.hh             |   18 +++---
 src/Interval.templates.hh        |   26 ++++----
 src/OR_Matrix.templates.hh       |    2 +-
 src/Result.defs.hh               |  131 ++++++++++++++++++++++++++------------
 src/Result.inlines.hh            |   54 ++++++++++++++--
 src/checked.cc                   |    6 +-
 src/checked.defs.hh              |   22 +++---
 src/checked.inlines.hh           |  102 ++++++++++++------------------
 src/checked_ext.inlines.hh       |  128 +++++++++++++++++++------------------
 src/checked_float.inlines.hh     |  126 +++++++++++++++++++++----------------
 src/checked_int.inlines.hh       |  123 +++++++++++++++++++----------------
 src/checked_mpq.inlines.hh       |   76 +++++++++++++---------
 src/checked_mpz.inlines.hh       |   71 ++++++++++++---------
 src/intervals.defs.hh            |   61 +++++++++++-------
 tests/Polyhedron/numberinput1.cc |   36 +++++-----
 21 files changed, 611 insertions(+), 469 deletions(-)

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