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

Author: François Galea francois.galea@uvsq.fr Date: Tue Oct 6 16:00:20 2009 +0200

Minor fixes in Doxygen documentation.

---

src/PIP_Tree.defs.hh | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh index 65f3a47..e70f467 100644 --- a/src/PIP_Tree.defs.hh +++ b/src/PIP_Tree.defs.hh @@ -107,10 +107,10 @@ public:

\param params the Variables_Set to be updated - + \param space_dimension the space dimension for \p *this - + \return the number of inserted indices */ @@ -215,6 +215,9 @@ public:

The returned linear expression only involves parameters.

+ \param v + the variable which is queried about + \param parameters a \c std::set of indices of the parameters in the constraints