[PPL-devel] [GIT] ppl/ppl(master): Fixed several documentation bugs signalled by Doxygen.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 15:55:59 2009 +0200

Fixed several documentation bugs signalled by Doxygen.

---

 src/Affine_Space.defs.hh |    8 ++++----
 src/Grid.defs.hh         |    4 ++++
 src/Polyhedron.defs.hh   |    4 ++++
 3 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh
index 1d1facf..5d22ff7 100644
--- a/src/Affine_Space.defs.hh
+++ b/src/Affine_Space.defs.hh
@@ -1192,7 +1192,7 @@ public:
 
   /*! \brief
     Assigns to \p *this the image of \p *this with respect to
-    the \ref Affine_Space_Generalized_Image "generalized affine relation"
+    the \ref Generalized_Affine_Relations "generalized affine relation"
     \f$\mathrm{var}' = \frac{\mathrm{expr}}{\mathrm{denominator}}
     \pmod{\mathrm{modulus}}\f$.
 
@@ -1224,7 +1224,7 @@ public:
 
   /*! \brief
     Assigns to \p *this the preimage of \p *this with respect to the
-    \ref Affine_Space_Generalized_Image "generalized affine relation"
+    \ref Generalized_Affine_Relations "generalized affine relation"
     \f$\mathrm{var}' = \frac{\mathrm{expr}}{\mathrm{denominator}}
     \pmod{\mathrm{modulus}}\f$.
 
@@ -1256,7 +1256,7 @@ public:
 
   /*! \brief
     Assigns to \p *this the image of \p *this with respect to
-    the \ref Affine_Space_Generalized_Image "generalized affine relation"
+    the \ref Generalized_Affine_Relations "generalized affine relation"
     \f$\mathrm{lhs}' = \mathrm{rhs} \pmod{\mathrm{modulus}}\f$.
 
     \param lhs
@@ -1280,7 +1280,7 @@ public:
 
   /*! \brief
     Assigns to \p *this the preimage of \p *this with respect to the
-    \ref Affine_Space_Generalized_Image "generalized affine relation"
+    \ref Generalized_Affine_Relations "generalized affine relation"
     \f$\mathrm{lhs}' = \mathrm{rhs} \pmod{\mathrm{modulus}}\f$.
 
     \param lhs
diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh
index 628638e..5e9d1b3 100644
--- a/src/Grid.defs.hh
+++ b/src/Grid.defs.hh
@@ -1549,6 +1549,10 @@ public:
     Possibly tightens \p *this by dropping some points with non-integer
     coordinates for the space dimensions corresponding to \p vars.
 
+    \param vars
+    Points with non-integer coordinates for these variables/space-dimensions
+    can be discarded.
+
     \param complexity
     The maximal complexity of any algorithms used.
 
diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh
index 2def5e1..50d27a5 100644
--- a/src/Polyhedron.defs.hh
+++ b/src/Polyhedron.defs.hh
@@ -1493,6 +1493,10 @@ public:
     Possibly tightens \p *this by dropping some points with non-integer
     coordinates for the space dimensions corresponding to \p vars.
 
+    \param vars
+    Points with non-integer coordinates for these variables/space-dimensions
+    can be discarded.
+
     \param complexity
     The maximal complexity of any algorithms used.