[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added Circular Integer intervals.
Abramo Bagnara
abramo.bagnara at gmail.com
Tue May 5 11:26:00 CEST 2009
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 962d7b0a74ec0ad148c4fd01d9dd485b6604c08e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=962d7b0a74ec0ad148c4fd01d9dd485b6604c08e
Author: Abramo Bagnara <abramo.bagnara at 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=962d7b0a74ec0ad148c4fd01d9dd485b6604c08e
More information about the PPL-devel
mailing list