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

[Alberto Gioia]

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

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

Added function operator<<  into Linear_Form.templates.hh,
and into Interval.defs.hh and Interval.inlines.hh added functions operator<< and lshift_assign.
This functions are necessary for the linearization of the bitwise operator LEFT_SHIFT.

The following file includes two functions needed to manipulate the second operator of a
type expression LSHIFT.
tests/Concrete_Expression/Number_Convertion.cc

---

 src/Interval.defs.hh                           |   12 +++
 src/Interval.inlines.hh                        |  100 ++++++++++++++++++++++++
 src/Linear_Form.templates.hh                   |   13 +++
 tests/Concrete_Expression/C_Expr.defs.hh       |    1 -
 tests/Concrete_Expression/Number_Convertion.cc |   28 +++++++
 tests/Concrete_Expression/digitalfilters1.cc   |    8 ++-
 tests/Concrete_Expression/linearize_integer.hh |   66 +++++++++++++---
 7 files changed, 213 insertions(+), 15 deletions(-)

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