[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added function operator>> into Linear_Form.templates.hh,

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioi1 at studenti.unipr.it>
Date:   Thu May  5 18:18:31 2011 +0200

Added function operator>> into Linear_Form.templates.hh,
and into Interval.defs.hh and Interval.inlines.hh added functions operator>> and rshift_assign.
This functions are necessary for the linearization of the bitwise operator RIGHT_SHIFT.

---

 src/Interval.defs.hh                           |   11 +++
 src/Interval.inlines.hh                        |  106 +++++++++++++++++++++---
 src/Linear_Form.templates.hh                   |   13 +++
 tests/Concrete_Expression/linearize_integer.hh |   39 +++++++++
 4 files changed, 156 insertions(+), 13 deletions(-)

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