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

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