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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue May 5 10:47:36 2009 +0200

Added Circular Integer intervals.

---

interfaces/Prolog/ppl_prolog_common.cc | 4 +- src/Bool4.defs.hh | 199 ++++++ src/Boundary.defs.hh | 90 ++-- src/Box.defs.hh | 29 +- src/Box.inlines.hh | 10 +- src/Box.templates.hh | 413 +++++++------- src/Circular_Interval.defs.hh | 1030 ++++++++++++++++++++++++++++++++ src/Interval.defs.hh | 505 +++++----------- src/Interval.inlines.hh | 145 +---- src/Interval.templates.hh | 51 +- src/Interval_Info.defs.hh | 2 - src/Makefile.am | 3 + src/Rational_Interval.hh | 1 - src/Result.defs.hh | 11 +- src/globals.types.hh | 25 +- src/intervals.defs.hh | 418 +++++++++++++ 16 files changed, 2161 insertions(+), 775 deletions(-)

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