[PPL-devel] [GIT] ppl/ppl(floating_point): Added the constructor Constant_Floating_Point_Expression(const char*).

[Fabio Bossi]

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

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