[PPL-devel] [GIT] ppl/ppl(floating_point): Extended method linearize to also accept a linear form abstract store.

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 38cb91a8f194c039d375dc657e89a440253d90cf
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38cb91a8f194c039d375dc657e89a440253d90cf

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Mon Sep  7 16:12:10 2009 +0200

Extended method linearize to also accept a linear form abstract store.
Adjusted tests (but NOT YET THE DOCUMENTATION) accordingly.

---

 src/Constant_Floating_Point_Expression.defs.hh     |    7 ++++++-
 src/Constant_Floating_Point_Expression.inlines.hh  |    3 ++-
 src/Difference_Floating_Point_Expression.defs.hh   |    7 ++++++-
 ...fference_Floating_Point_Expression.templates.hh |    7 ++++---
 src/Division_Floating_Point_Expression.defs.hh     |    7 ++++++-
 ...Division_Floating_Point_Expression.templates.hh |    9 +++++----
 src/Floating_Point_Expression.defs.hh              |    9 +++++++--
 ...ultiplication_Floating_Point_Expression.defs.hh |    7 ++++++-
 ...lication_Floating_Point_Expression.templates.hh |   11 ++++++-----
 src/Opposite_Floating_Point_Expression.defs.hh     |    7 ++++++-
 src/Opposite_Floating_Point_Expression.inlines.hh  |    5 +++--
 src/Sum_Floating_Point_Expression.defs.hh          |    7 ++++++-
 src/Sum_Floating_Point_Expression.templates.hh     |    7 ++++---
 src/Variable_Floating_Point_Expression.defs.hh     |   10 ++++++++--
 src/Variable_Floating_Point_Expression.inlines.hh  |   11 +++++++++--
 .../floatingpointexpr1.cc                          |    9 ++++++---
 16 files changed, 90 insertions(+), 33 deletions(-)

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