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

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