[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed some pleonastic identifiers.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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