[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added umod_2exp and smod_2exp to checked numbers. Fixed rem for mpq to work similarly to other numeric types.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 10 19:30:17 2009 +0200

Added umod_2exp and smod_2exp to checked numbers. Fixed rem for mpq to work similarly to other numeric types.

---

 src/Checked_Number.defs.hh    |    2 +
 src/Checked_Number.inlines.hh |    2 +
 src/Rounding_Dir.inlines.hh   |    4 ++
 src/checked.defs.hh           |   12 +++++
 src/checked_ext.inlines.hh    |   34 +++++++++++++++
 src/checked_float.inlines.hh  |   45 +++++++++++++++++++-
 src/checked_int.inlines.hh    |   92 +++++++++++++++++++++++++++++++++++++----
 src/checked_mpq.inlines.hh    |   37 +++++++++++++++-
 src/checked_mpz.inlines.hh    |   25 +++++++++++
 9 files changed, 240 insertions(+), 13 deletions(-)

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