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

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