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

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