Module: ppl/ppl Branch: floating_point Commit: 7c0b14249c7cdb0b190267d0f4d96da6f45e7f79 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0b14249c7cd...
Author: Roberto Amadini r.amadini@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.