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

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Thu Feb 18 13:27:55 2010 +0100

Improved comments.

---

 ...lication_Floating_Point_Expression.templates.hh |    9 ++++++---
 1 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh
index 6ffa77e..a40cfdc 100644
--- a/src/Multiplication_Floating_Point_Expression.templates.hh
+++ b/src/Multiplication_Floating_Point_Expression.templates.hh
@@ -32,10 +32,13 @@ void Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format>
             const FP_Linear_Form_Abstract_Store& lf_store,
             FP_Linear_Form& result) const {
   /*
-    FIXME: we currently adopt the Interval-Size Local strategy in order to
+    FIXME: We currently adopt the "Interval-Size Local" strategy in order to
     decide which of the two linear forms must be intervalized, as described
-    in section 6.2.4 of Antoine Mine's thesis. We should also consider more
-    refined strategies.
+    in section 6.2.4 ("Multiplication Strategies") of Antoine Mine's Ph.D.
+    thesis "Weakly Relational Numerical Abstract Domains".
+    In this section are also described other multiplication strategies, such
+    as All-Cases, Relative-Size Local, Relative-Size Local,
+    Simplification-Driven Global and Homogeneity Global.
   */
 
   // Here we choose which of the two linear forms must be intervalized.