[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Polyhedron:: refine_with_linear_form_inequality.

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Mon Oct  5 17:06:17 2009 +0200

Fixed Polyhedron::refine_with_linear_form_inequality.
Adapted tests on polyhedra.

---

 src/Polyhedron.templates.hh                        |   24 ++++++------
 tests/Floating_Point_Expression/digitalfilters1.cc |    8 ++--
 tests/Floating_Point_Expression/polyhedron1.cc     |   42 ++++++++++----------
 tests/Floating_Point_Expression/polyhedron2.cc     |   32 +++++++-------
 4 files changed, 53 insertions(+), 53 deletions(-)

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