[PPL-devel] [GIT] ppl/ppl(master): Removed interval restrictions.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Feb 23 18:41:57 2012 +0100

Removed interval restrictions.

---

 interfaces/interfaced_boxes.hh     |   21 +-
 src/Boundary.defs.hh               |   62 +--
 src/Box.templates.hh               |    4 -
 src/Checked_Number.defs.hh         |    2 +-
 src/Integer_Interval.hh            |    5 +-
 src/Interval.defs.hh               |   91 +----
 src/Interval.inlines.hh            |   73 +---
 src/Interval.templates.hh          |    1 -
 src/Interval_Info.defs.hh          |   26 +-
 src/Interval_Restriction.defs.hh   |  877 ------------------------------------
 src/Makefile.am                    |    1 -
 src/Rational_Interval.hh           |    6 +-
 tests/Box/interval1.cc             |    6 +-
 tests/Box/refinewithconstraint2.cc |    6 +-
 tests/ppl_test.hh                  |   10 +-
 15 files changed, 42 insertions(+), 1149 deletions(-)

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