[PPL-devel] [GIT] ppl/ppl(floating_point): Small progress in writing convert_to_integer_expressions.

[Fabio Bossi]

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

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

Small progress in writing convert_to_integer_expressions.

---

 src/Polyhedron.templates.hh |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh
index 47ddf4f..c8772df 100644
--- a/src/Polyhedron.templates.hh
+++ b/src/Polyhedron.templates.hh
@@ -394,6 +394,13 @@ void convert_to_integer_expressions(
 
   typedef Interval<FP_Format, Interval_Info> FP_Interval_Type;
   typedef typename FP_Interval_Type::coefficient_type FP_Coeff_Type;
+  std::vector<Coefficient> coefficients(lf_dimension+2);
+  std::vector<Coefficient> norm_factors(lf_dimension+2);
+
+  coefficients[lf_dimension] = lf.inhomogeneous_term().lower();
+  coefficients[lf_dimension+1] = lf.inhomogeneous_term().upper();
+
+
 
 }