[PPL-devel] [GIT] ppl/ppl(floating_point): Removed comments.

[Roberto Amadini]

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

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

Removed comments.

---

 tests/Floating_Point_Expression/digitalfilters1.cc |   30 ++++++++-----------
 1 files changed, 13 insertions(+), 17 deletions(-)

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc
index 1e47843..b778e38 100644
--- a/tests/Floating_Point_Expression/digitalfilters1.cc
+++ b/tests/Floating_Point_Expression/digitalfilters1.cc
@@ -106,8 +106,9 @@ test01() {
     Constraint_System cs;
     // FIXME: It's a temporary solution, waiting for a complete
     // implementation of ANALYZED_FP_FORMAT.
-    //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
     PPL_DIRTY_TEMP_COEFFICIENT(M);
+    ANALYZED_FP_FORMAT max;
+    max.set_max(false);
     //assign_r(M, max, ROUND_DOWN);
     assign_r(M, 200, ROUND_DOWN);
     cs.insert(Y <= M);
@@ -187,11 +188,12 @@ test02() {
          "*** if (R >= D)  Y = S + D; ***");
 
     bd.upper_bound_assign(bd_begin);
-    Constraint_System cs(abstract_store.constraints());
+    Constraint_System cs;
     // FIXME: It's a temporary solution, waiting for a complete
     // implementation of ANALYZED_FP_FORMAT.
-    //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
     PPL_DIRTY_TEMP_COEFFICIENT(M);
+    ANALYZED_FP_FORMAT max;
+    max.set_max(false);
     //assign_r(M, max, ROUND_DOWN);
     assign_r(M, 200, ROUND_DOWN);
     cs.insert(Y <= M);
@@ -274,8 +276,9 @@ test03() {
     Constraint_System cs;
     // FIXME: It's a temporary solution, waiting for a complete
     // implementation of ANALYZED_FP_FORMAT.
-    //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
     PPL_DIRTY_TEMP_COEFFICIENT(M);
+    ANALYZED_FP_FORMAT max;
+    max.set_max(false);
     //assign_r(M, max, ROUND_DOWN);
     assign_r(M, 200, ROUND_DOWN);
     cs.insert(Y <= M);
@@ -364,8 +367,9 @@ test04() {
     Constraint_System cs;
     // FIXME: It's a temporary solution, waiting for a complete
     // implementation of ANALYZED_FP_FORMAT.
-    //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
     PPL_DIRTY_TEMP_COEFFICIENT(M);
+    ANALYZED_FP_FORMAT max;
+    max.set_max(false);
     //assign_r(M, max, ROUND_DOWN);
     assign_r(M, 200, ROUND_DOWN);
     cs.insert(Y <= M);
@@ -473,8 +477,9 @@ test05() {
     Constraint_System cs;
     // FIXME: It's a temporary solution, waiting for a complete
     // implementation of ANALYZED_FP_FORMAT.
-    //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
     PPL_DIRTY_TEMP_COEFFICIENT(M);
+    ANALYZED_FP_FORMAT max;
+    max.set_max(false);
     //assign_r(M, max, ROUND_DOWN);
     assign_r(M, 200, ROUND_DOWN);
     cs.insert(Y <= M);
@@ -590,22 +595,13 @@ test06() {
     Constraint_System cs;
     // FIXME: It's a temporary solution, waiting for a complete
     // implementation of ANALYZED_FP_FORMAT.
-    //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
     PPL_DIRTY_TEMP_COEFFICIENT(M);
+    ANALYZED_FP_FORMAT max;
+    max.set_max(false);
     //assign_r(M, max, ROUND_DOWN);
     assign_r(M, 200, ROUND_DOWN);
     cs.insert(Y <= M);
     cs.insert(Y >= -M);
-    // FIXME: not sound.
-    // ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max();
-    // NOTE: std::max() not correct, try use following solution.
-    // ANALYZED_FP_FORMAT max;
-    // max.set_max(false);
-    //PPL_DIRTY_TEMP_COEFFICIENT(M);
-    //assign_r(M, max, ROUND_DOWN);
-    //cs.insert(Y <= M);
-    //cs.insert(Y >= -M);
-
     ph.limited_BHRZ03_extrapolation_assign(ph_begin, cs);
     Box<FP_Interval> box(ph);
     print_constraints(box, "*** after widening ***");