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

Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 7 09:37:36 2009 +0200

Made absolute_error constant.

---

src/Floating_Point_Expression.defs.hh | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index b0f9ef0..d5e82ca 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -101,7 +101,7 @@ public: number in the less precise format between the analyzer and the analyzed format. */ - static boundary_type absolute_error; + static const boundary_type absolute_error;

/* \brief Verification if a given linear form overflows. @@ -128,7 +128,8 @@ public:

template <typename FP_Interval_Type, typename FP_Format> -typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type +const typename Floating_Point_Expression<FP_Interval_Type, FP_Format>:: +boundary_type Floating_Point_Expression<FP_Interval_Type, FP_Format>::absolute_error = std::max(static_cast<typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type>