Module: ppl/ppl Branch: floating_point Commit: d61e5566f5f6dadd4386bf7154772492fb910932 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61e5566f5f6d...
Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 22 11:58:55 2009 +0200
Pass variables to affine_image by copy.
---
src/BD_Shape.defs.hh | 2 +- src/BD_Shape.templates.hh | 2 +- src/Octagonal_Shape.defs.hh | 2 +- src/Octagonal_Shape.templates.hh | 2 +- src/Polyhedron.defs.hh | 2 +- src/Polyhedron.templates.hh | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index 3dc29bb..ece9b0d 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -1108,7 +1108,7 @@ public: is not a dimension of \p *this. */ template <typename Interval_Info> - void affine_image(const Variable& var, + void affine_image(Variable var, const Linear_Form< Interval<T, Interval_Info> >& lf);
/*! \brief diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 8b5c49d..5275116 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -4046,7 +4046,7 @@ BD_Shape<T>::affine_image(const Variable var, template <typename T> template <typename Interval_Info> void -BD_Shape<T>::affine_image(const Variable& var, +BD_Shape<T>::affine_image(const Variable var, const Linear_Form< Interval<T, Interval_Info> >& lf) {
// Check that T is a floating point type. diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index a893fb7..6f910d2 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1155,7 +1155,7 @@ public: floating point variable represented by \p var. */ template <typename Interval_Info> - void affine_image(const Variable& var, + void affine_image(Variable var, const Linear_Form< Interval<T, Interval_Info> >& lf);
/*! \brief diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 4b491bf..e3ae567 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -5056,7 +5056,7 @@ Octagonal_Shape<T>::affine_image(const Variable var, template <typename T> template <typename Interval_Info> void -Octagonal_Shape<T>::affine_image(const Variable& var, +Octagonal_Shape<T>::affine_image(const Variable var, const Linear_Form< Interval<T, Interval_Info> >& lf) {
// Check that T is a floating point type. diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 87ece79..7f17172 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -1213,7 +1213,7 @@ public: floating point variable represented by \p var. */ template <typename FP_Format, typename Interval_Info> - void affine_image(const Variable& var, + void affine_image(Variable var, const Linear_Form<Interval <FP_Format, Interval_Info> >& lf, const std::map< dimension_type, Interval<FP_Format, Interval_Info> >& store);
diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh index 8f9be84..8ad8b01 100644 --- a/src/Polyhedron.templates.hh +++ b/src/Polyhedron.templates.hh @@ -345,7 +345,7 @@ Polyhedron::refine_with_linear_form_inequality(
template <typename FP_Format, typename Interval_Info> void -Polyhedron::affine_image(const Variable& var, +Polyhedron::affine_image(const Variable var, const Linear_Form<Interval <FP_Format, Interval_Info> >& lf, const std::map< dimension_type, Interval<FP_Format, Interval_Info> >& store) {