
Module: ppl/ppl Branch: floating_point Commit: 61aa0fda07d541f45bd297f8a8b19f37c485b1cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61aa0fda07d54...
Author: Roberto Amadini r.amadini@virgilio.it Date: Thu Sep 17 18:16:57 2009 +0200
Pass variables to affine_image as const references.
---
src/Octagonal_Shape.defs.hh | 2 +- src/Octagonal_Shape.templates.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index 5377ca3..b5a6055 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1147,7 +1147,7 @@ public: is not a dimension of \p *this. */ template <typename Interval_Info> - void affine_image(Variable var, + void affine_image(const 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 3b83054..6734c48 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -5054,7 +5054,7 @@ Octagonal_Shape<T>::affine_image(const Variable var, template <typename T> template <typename Interval_Info> void -Octagonal_Shape<T>::affine_image(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.