[PPL-devel] [GIT] ppl/ppl(termination): Documentation improved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar  8 13:35:33 2010 +0400

Documentation improved.

---

 src/termination.defs.hh |   17 ++++++++++-------
 1 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/src/termination.defs.hh b/src/termination.defs.hh
index cab4eec..59b0028 100644
--- a/src/termination.defs.hh
+++ b/src/termination.defs.hh
@@ -29,11 +29,12 @@ site: http://www.cs.unipr.it/ppl/ . */
 namespace Parma_Polyhedra_Library {
 
 /*! \brief
-  Termination test using an improvement of the method by Serebrenik
-  and Mesnard.
+  Termination test using an improvement of the method by Mesnard and
+  Serebrenik.
 
   \tparam PSET
-  Any pointset supported by the PPL.
+  Any pointset supported by the PPL that provides the
+  <CODE>minimized_constraints()</CODE> method.
 
   \param pset
   A pointset approximating the behavior of a loop whose termination
@@ -62,10 +63,11 @@ termination_test_MS(const PSET& pset);
 
 /*! \brief
   Termination test with witness ranking function using an improvement
-  of the method by Serebrenik and Mesnard.
+  of the method by Mesnard and Serebrenik.
 
   \tparam PSET
-  Any pointset supported by the PPL.
+  Any pointset supported by the PPL that provides the
+  <CODE>minimized_constraints()</CODE> method.
 
   \param pset
   A pointset approximating the behavior of a loop whose termination
@@ -103,10 +105,11 @@ one_affine_ranking_function_MS(const PSET& pset, Generator& mu);
 
 /*! \brief
   Termination test with ranking function space using an improvement
-  of the method by Serebrenik and Mesnard.
+  of the method by Mesnard and Serebrenik.
 
   \tparam PSET
-  Any pointset supported by the PPL.
+  Any pointset supported by the PPL that provides the
+  <CODE>minimized_constraints()</CODE> method.
 
   \param pset
   A pointset approximating the behavior of a loop whose termination