[PPL-devel] [GIT] ppl/ppl(master): Fixed some comments.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May  4 11:44:41 2009 +0200

Fixed some comments.

---

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

diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh
index 0e3ac3b..5752497 100644
--- a/src/Affine_Space.defs.hh
+++ b/src/Affine_Space.defs.hh
@@ -570,7 +570,8 @@ public:
 
   /*! \brief
     Returns \f$0\f$, if \p *this is empty; otherwise, returns
-    the \ref Affine_Space_Affine_Dimension "affine dimension" of \p *this.
+    \ref Affine_Independence_and_Affine_Dimension "affine dimension"
+    of \p *this.
   */
   dimension_type affine_dimension() const;
 
@@ -1070,11 +1071,8 @@ public:
   bool upper_bound_assign_if_exact(const Affine_Space& y);
 
   /*! \brief
-    Assigns to \p *this the \ref Affine_Space_Difference "affine space-difference" of
-    \p *this and \p y.
-
-    The affine space difference between affine spaces x and y is the smallest affine space
-    containing all the points from x and y that are only in x.
+    Assigns to \p *this the \ref Convex_Polyhedral_Difference
+    "poly-difference" of \p *this and \p y.
 
     \exception std::invalid_argument
     Thrown if \p *this and \p y are dimension-incompatible.
@@ -1093,10 +1091,10 @@ public:
   bool simplify_using_context_assign(const Affine_Space& y);
 
   /*! \brief
-    Assigns to \p *this the \ref Affine_Space_Affine_Transformation
-    "affine image" of \p
-    *this under the function mapping variable \p var to the affine
-    expression specified by \p expr and \p denominator.
+    Assigns to \p *this the
+    \ref Single_Update_Affine_Functions "affine image"
+    of \p *this under the function mapping variable \p var to the
+    affine expression specified by \p expr and \p denominator.
 
     \param var
     The variable to which the affine expression is assigned;