[PPL-devel] [GIT] ppl/ppl(floating_point): Made absolute_error constant.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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>