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

Author: Fabio Biselli fabio.biselli@studenti.unipr.it Date: Tue Sep 1 16:29:05 2009 +0200

Removed trailing whitespaces.

---

src/Difference_Floating_Point_Expression.defs.hh | 4 ++-- ...Difference_Floating_Point_Expression.inlines.hh | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index d38abb7..db8cf3b 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -1,4 +1,4 @@ -/* Declarations for the Difference_Floating_Point_Expression class and +/* Declarations for the Difference_Floating_Point_Expression class and its constituents. Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it

@@ -56,7 +56,7 @@ public: Floating_Point_Expression<FP_Interval_Type, FP_Format>* const num, Floating_Point_Expression<FP_Interval_Type, FP_Format>* const den);

- ~Difference_Floating_Point_Expression(); + ~Difference_Floating_Point_Expression();

FP_Linear_Form linearize(const FP_Interval_Abstract_Store& store) const;

diff --git a/src/Difference_Floating_Point_Expression.inlines.hh b/src/Difference_Floating_Point_Expression.inlines.hh index abd1559..b9a8c9e 100644 --- a/src/Difference_Floating_Point_Expression.inlines.hh +++ b/src/Difference_Floating_Point_Expression.inlines.hh @@ -1,4 +1,4 @@ -/* Difference_Floating_Point_Expression class implementation: inline +/* Difference_Floating_Point_Expression class implementation: inline functions. Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it

@@ -48,9 +48,9 @@ Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: delete second_operand; }

- // FIXME: add function body + // FIXME: add function body template <typename FP_Interval_Type, typename FP_Format> -inline +inline typename Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format>::FP_Linear_Form Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format>::linearize(