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=51c333447350d...

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