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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 12:03:05 2009 +0200

Renamed some pleonastic identifiers.

---

src/Affine_Space.defs.hh | 36 ++++++++++++++++++------------------ 1 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh index 47e3405..0e3ac3b 100644 --- a/src/Affine_Space.defs.hh +++ b/src/Affine_Space.defs.hh @@ -328,10 +328,10 @@ bool operator!=(const Affine_Space& x, const Affine_Space& y); Affine_Space_Generator_System gs; gs.insert(affine space_point(3*x + y +0*z + 2*w)); Affine_Space gr(gs); - Variables_Set to_be_removed; - to_be_removed.insert(y); - to_be_removed.insert(z); - gr.remove_space_dimensions(to_be_removed); + Variables_Set vars; + vars.insert(y); + vars.insert(z); + gr.remove_space_dimensions(vars); \endcode The starting affine space is the singleton set \f$\bigl{ (3, 1, 0, 2)^\transpose \bigr} \sseq \Rset^4\f$, while @@ -344,16 +344,16 @@ bool operator!=(const Affine_Space& x, const Affine_Space& y); For instance, by using the following code we would obtain a different result: \code - set<Variable> to_be_removed1; - to_be_removed1.insert(y); - gr.remove_space_dimensions(to_be_removed1); - set<Variable> to_be_removed2; - to_be_removed2.insert(z); - gr.remove_space_dimensions(to_be_removed2); + set<Variable> vars1; + vars1.insert(y); + gr.remove_space_dimensions(vars1); + set<Variable> vars2; + vars2.insert(z); + gr.remove_space_dimensions(vars2); \endcode In this case, the result is the affine space \f$\bigl{(3, 0)^\transpose \bigr} \sseq \Rset^2\f$: - when removing the set of dimensions \p to_be_removed2 + when removing the set of dimensions \p vars2 we are actually removing variable \f$w\f$ of the original affine space. For the same reason, the operator \p remove_space_dimensions is not idempotent: removing twice the same non-empty set of dimensions @@ -1031,17 +1031,17 @@ public:

/*! \brief Computes the \ref Cylindrification "cylindrification" of \p *this with - respect to the set of space dimensions \p to_be_unconstrained, + respect to the set of space dimensions \p vars, assigning the result to \p *this.

- \param to_be_unconstrained + \param vars The set of space dimension that will be unconstrained.

\exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p to_be_removed. + Variable objects contained in \p vars. */ - void unconstrain(const Variables_Set& to_be_unconstrained); + void unconstrain(const Variables_Set& vars);

/*! \brief Assigns to \p *this the intersection of \p *this and \p y. @@ -1545,15 +1545,15 @@ public:

//! Removes all the specified dimensions from the vector space. /*! - \param to_be_removed + \param vars The set of Variable objects corresponding to the space dimensions to be removed.

\exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p to_be_removed. + Variable objects contained in \p vars. */ - void remove_space_dimensions(const Variables_Set& to_be_removed); + void remove_space_dimensions(const Variables_Set& vars);

/*! \brief Removes the higher dimensions of the vector space so that the