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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 24 16:32:57 2009 +0200

Added the constructor Constant_Floating_Point_Expression(const char*).

---

src/Constant_Floating_Point_Expression.defs.hh | 6 ++++++ src/Constant_Floating_Point_Expression.inlines.hh | 6 ++++++ 2 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index 1750a2b..5399523 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -116,6 +116,12 @@ public: Constant_Floating_Point_Expression(const boundary_type lower_bound, const boundary_type upper_bound);

+ /*! \brief + Builds a constant floating point expression with the value + expressed by the string \p str_value. + */ + Constant_Floating_Point_Expression(const char* str_value); + //! Destructor. ~Constant_Floating_Point_Expression();

diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 0618cd4..1b2c577 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -30,6 +30,12 @@ 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(const char* str_value) + : value(str_value) {} + +template <typename FP_Interval_Type, typename FP_Format> +inline +Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: Constant_Floating_Point_Expression(const boundary_type lb, const boundary_type ub) : value(lb) {