[PPL-devel] [GIT] ppl/ppl(master): Grouped together docs for the linear-ranking functions.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 5ef9269b43b18f0b49dfe647cc5457ed93bea9e0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ef9269b43b18f0b49dfe647cc5457ed93bea9e0

Author: Enea Zaffanella <zaffanella at 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"