[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Modified declaration and implementation of bitwise operator on intervals.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Sat Aug 27 17:16:05 2011 +0200

Modified declaration and implementation of bitwise operator on intervals.

---

 src/Interval.defs.hh    |   89 ++-
 src/Interval.inlines.hh | 1437 +++++++++++++++++------------------------------
 2 files changed, 584 insertions(+), 942 deletions(-)

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