Module: ppl/ppl Branch: floating_point Commit: e2e00d72c5631721e7ffc88251c5c597718d9632 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2e00d72c5631... Author: Fabio Bossi <bossi@cs.unipr.it> Date: Tue Sep 1 09:43:30 2009 +0200 Corrected the interface of method linearize. --- src/Constant_Floating_Point_Expression.defs.hh | 8 +++++--- src/Constant_Floating_Point_Expression.inlines.hh | 6 ++++-- src/Floating_Point_Expression.defs.hh | 5 +++-- 3 files changed, 12 insertions(+), 7 deletions(-) diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index bfe4aa6..74bb678 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -1,4 +1,5 @@ -/* Declarations for the Constant_Floating_Point_Expression class and its constituents. +/* Declarations for the Constant_Floating_Point_Expression class and + its constituents. Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it> This file is part of the Parma Polyhedra Library (PPL). @@ -56,12 +57,13 @@ public: ~Constant_Floating_Point_Expression(); - FP_Linear_Form linearize(FP_Interval_Abstract_Store store); + FP_Linear_Form linearize(const FP_Interval_Abstract_Store& store) const; private: + // FIXME: this is a temporary solution: we should find a way to convert + // a floating point with an arbitrary format to an interval. boundary_type l_bound; - boundary_type u_bound; }; // class Constant_Floating_Point_Expression diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 9bca950..3ddbf40 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -41,8 +41,10 @@ Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: ~Constant_Floating_Point_Expression() {} template <typename FP_Interval_Type, typename FP_Format> -inline typename Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::FP_Linear_Form -Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::linearize(FP_Interval_Abstract_Store store) { +inline typename Constant_Floating_Point_Expression<FP_Interval_Type, + FP_Format>::FP_Linear_Form +Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::linearize( +const FP_Interval_Abstract_Store& store) const { FP_Interval_Type result_interval(l_bound); FP_Interval_Type result_upper_bound(u_bound); diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index cebc46d..f702d78 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -30,7 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { - template <typename FP_Interval_Type, typename FP_Format> +template <typename FP_Interval_Type, typename FP_Format> class Floating_Point_Expression { public: @@ -45,7 +45,8 @@ public: virtual ~Floating_Point_Expression(); - virtual FP_Linear_Form linearize(FP_Interval_Abstract_Store store) = 0; + virtual FP_Linear_Form linearize( + const FP_Interval_Abstract_Store& store) const = 0; }; // class Floating_Point_Expression