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

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 1 10:01:25 2009 +0200

Corrected the interface of the two-argument constructor.

---

src/Constant_Floating_Point_Expression.defs.hh | 4 ++-- src/Constant_Floating_Point_Expression.inlines.hh | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index 74bb678..476b4bc 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -52,8 +52,8 @@ public: typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type;

- Constant_Floating_Point_Expression(boundary_type lower_bound, - boundary_type upper_bound); + Constant_Floating_Point_Expression(const boundary_type lower_bound, + const boundary_type upper_bound);

~Constant_Floating_Point_Expression();

diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 3ddbf40..6073c59 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -30,7 +30,8 @@ namespace Parma_Polyhedra_Library { template <typename FP_Interval_Type, typename FP_Format> inline Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: -Constant_Floating_Point_Expression(boundary_type lb, boundary_type ub) { +Constant_Floating_Point_Expression(const boundary_type lb, + const boundary_type ub) { l_bound = lb; u_bound = ub; }