[PPL-devel] [GIT] ppl/ppl(floating_point): Pass variables to affine_image by copy.

[Fabio Bossi]

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

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