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

Author: Roberto Amadini r.amadini@virgilio.it Date: Thu Feb 18 13:55:09 2010 +0100

Fixed comments.

---

...lication_Floating_Point_Expression.templates.hh | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh index a40cfdc..d1fdbdf 100644 --- a/src/Multiplication_Floating_Point_Expression.templates.hh +++ b/src/Multiplication_Floating_Point_Expression.templates.hh @@ -34,11 +34,11 @@ void Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> /* 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 ("Multiplication Strategies") of Antoine Mine's Ph.D. + 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. + In this Section are also described other multiplication strategies, such + as All-Cases, Relative-Size Local, Simplification-Driven Global and + Homogeneity Global. */

// Here we choose which of the two linear forms must be intervalized.