[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing parameter documentation.

[Roberto Bagnara]

Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: 51c333447350d833a0cb85229b2f699ae8d179a5
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51c333447350d833a0cb85229b2f699ae8d179a5

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan  6 09:30:52 2011 +0100

Added missing parameter documentation.

---

 src/termination.cc |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/src/termination.cc b/src/termination.cc
index 30cdf19..b98756e 100644
--- a/src/termination.cc
+++ b/src/termination.cc
@@ -349,6 +349,10 @@ fill_constraint_systems_MS(const Constraint_System& cs,
   \f$ \vect{u}_3 \in \Qset_-^s \f$.
   The space of ranking functions is then spanned by
   \f$ \vect{u}_3^\transpose E_C' \vect x \f$.
+
+  \param le_out
+  The expression to be minimized in the context of \p cs_out:
+  a value of \f$ -1 \f$ or less entails termination.
 */
 void
 fill_constraint_system_PR(const Constraint_System& cs_before,