Module: ppl/ppl Branch: floating_point Commit: b6dc43db2855f737fdc094422efd8c8b2f1d838f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6dc43db2855f... Author: Fabio Bossi <bossi@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(); + + }