Module: ppl/ppl Branch: master Commit: 5ef9269b43b18f0b49dfe647cc5457ed93bea9e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ef9269b43b18...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 10:24:43 2012 +0100
Grouped together docs for the linear-ranking functions.
---
src/termination.defs.hh | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/src/termination.defs.hh b/src/termination.defs.hh index 08e6985..937f7e2 100644 --- a/src/termination.defs.hh +++ b/src/termination.defs.hh @@ -30,6 +30,9 @@ site: http://bugseng.com/products/ppl/ . */
namespace Parma_Polyhedra_Library {
+//! \name Functions for the Synthesis of Linear Rankings +//@{ + /*! \brief \ingroup PPL_CXX_interface Termination test using an improvement of the method by Mesnard and Serebrenik \ref BMPZ10 "[BMPZ10]". @@ -463,6 +466,8 @@ all_affine_ranking_functions_PR_2(const PSET& pset_before, const PSET& pset_after, NNC_Polyhedron& mu_space);
+//@} // Functions for the Synthesis of Linear Rankings + } // namespace Parma_Polyhedra_Library
#include "termination.templates.hh"