[PPL-devel] [GIT] ppl/ppl(floating_point): Corrected tests with Intervals and Octagons in digitalfilters1.cc.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Oct  1 15:24:59 2009 +0200

Corrected tests with Intervals and Octagons in digitalfilters1.cc.
Temporarily modified tests/Floating_Point_Expression/Makefile.am
Implemented Variable_Floating_Point_Expression::linear_form_assign.
Inserted invariant assertions in Octagonal_Shape<T>::affine_image.

---

 src/Octagonal_Shape.templates.hh                   |   13 +-
 src/Variable_Floating_Point_Expression.defs.hh     |    4 +
 src/Variable_Floating_Point_Expression.inlines.hh  |   27 ++
 tests/Floating_Point_Expression/Makefile.am        |    5 +-
 tests/Floating_Point_Expression/digitalfilters1.cc |  303 +++++++-------------
 5 files changed, 151 insertions(+), 201 deletions(-)

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