[PPL-devel] [GIT] ppl/ppl(pip): Minor fixes in Doxygen documentation.

[François Galea]

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

Author: François Galea <francois.galea at 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