[PPL-devel] [GIT] ppl/ppl(floating_point): Sterted writing the functions that are used to convert floating point

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Sat Sep 19 17:18:31 2009 +0200

Sterted writing the functions that are used to convert floating point
constraints to integer ones.

---

 src/Polyhedron.defs.hh      |   12 ++++++++++++
 src/Polyhedron.templates.hh |   22 ++++++++++++++++++++++
 2 files changed, 34 insertions(+), 0 deletions(-)

diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh
index ab4a7ce..1391f53 100644
--- a/src/Polyhedron.defs.hh
+++ b/src/Polyhedron.defs.hh
@@ -2578,6 +2578,18 @@ protected:
   const std::map< dimension_type, Interval<FP_Format, Interval_Info> >& store,
   Linear_Form<Interval <FP_Format, Interval_Info> >& result);
 
+  template <typename FP_Format, typename Interval_Info>
+  static void convert_to_integer_expression(
+	      const Linear_Form<Interval <FP_Format, Interval_Info> >& lf,
+              const dimension_type lf_dimension,
+              Linear_Expression& result);
+
+  template <typename FP_Format, typename Interval_Info>
+  static void convert_to_integer_expressions(
+	      const Linear_Form<Interval <FP_Format, Interval_Info> >& lf,
+              const dimension_type lf_dimension,
+              Linear_Expression& first, Linear_Expression& second);
+
 };
 
 namespace std {
diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh
index 9109b83..47ddf4f 100644
--- a/src/Polyhedron.templates.hh
+++ b/src/Polyhedron.templates.hh
@@ -375,6 +375,28 @@ Polyhedron::overapproximate_linear_form(
 
 }
 
+template <typename FP_Format, typename Interval_Info>
+void convert_to_integer_expression(
+	        const Linear_Form<Interval <FP_Format, Interval_Info> >& lf,
+                const dimension_type lf_dimension,
+                Linear_Expression& result) {
+
+  typedef Interval<FP_Format, Interval_Info> FP_Interval_Type;
+  typedef typename FP_Interval_Type::coefficient_type FP_Coeff_Type;
+
+}
+
+template <typename FP_Format, typename Interval_Info>
+void convert_to_integer_expressions(
+	        const Linear_Form<Interval <FP_Format, Interval_Info> >& lf,
+                const dimension_type lf_dimension,
+                Linear_Expression& first, Linear_Expression& second) {
+
+  typedef Interval<FP_Format, Interval_Info> FP_Interval_Type;
+  typedef typename FP_Interval_Type::coefficient_type FP_Coeff_Type;
+
+}
+
 } // namespace Parma_Polyhedra_Library
 
 #endif // !defined(PPL_Polyhedron_templates_hh)