[PPL-devel] [GIT] ppl/ppl(master): Cite BMPZ10.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 11 08:59:57 2010 +0200

Cite BMPZ10.

---

 src/termination.defs.hh |   30 ++++++++++++++++--------------
 1 files changed, 16 insertions(+), 14 deletions(-)

diff --git a/src/termination.defs.hh b/src/termination.defs.hh
index 60ccf66..8ccfc41 100644
--- a/src/termination.defs.hh
+++ b/src/termination.defs.hh
@@ -30,7 +30,7 @@ namespace Parma_Polyhedra_Library {
 
 /*! \brief
   Termination test using an improvement of the method by Mesnard and
-  Serebrenik.
+  Serebrenik \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -63,7 +63,7 @@ termination_test_MS(const PSET& pset);
 
 /*! \brief
   Termination test using an improvement of the method by Mesnard and
-  Serebrenik.
+  Serebrenik \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -105,7 +105,7 @@ termination_test_MS_2(const PSET& pset_before, const PSET& pset_after);
 
 /*! \brief
   Termination test with witness ranking function using an improvement
-  of the method by Mesnard and Serebrenik.
+  of the method by Mesnard and Serebrenik \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -147,7 +147,7 @@ one_affine_ranking_function_MS(const PSET& pset, Generator& mu);
 
 /*! \brief
   Termination test with witness ranking function using an improvement
-  of the method by Mesnard and Serebrenik.
+  of the method by Mesnard and Serebrenik \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -200,7 +200,7 @@ one_affine_ranking_function_MS_2(const PSET& pset_before,
 
 /*! \brief
   Termination test with ranking function space using an improvement
-  of the method by Mesnard and Serebrenik.
+  of the method by Mesnard and Serebrenik \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -242,7 +242,7 @@ all_affine_ranking_functions_MS(const PSET& pset, C_Polyhedron& mu_space);
 
 /*! \brief
   Termination test with ranking function space using an improvement
-  of the method by Mesnard and Serebrenik.
+  of the method by Mesnard and Serebrenik \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -295,7 +295,8 @@ all_affine_ranking_functions_MS_2(const PSET& pset_before,
 
 /*! \brief
   Computes the spaces of affine \e quasi ranking functions
-  using an improvement of the method by Mesnard and Serebrenik.
+  using an improvement of the method by Mesnard and Serebrenik
+  \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -346,7 +347,8 @@ all_affine_quasi_ranking_functions_MS(const PSET& pset,
 
 /*! \brief
   Computes the spaces of affine \e quasi ranking functions
-  using an improvement of the method by Mesnard and Serebrenik.
+  using an improvement of the method by Mesnard and Serebrenik
+  \ref BMPZ10 "[BMPZ10]".
 
   \tparam PSET
   Any pointset supported by the PPL that provides the
@@ -407,7 +409,7 @@ all_affine_quasi_ranking_functions_MS_2(const PSET& pset_before,
 
 /*! \brief
   Like termination_test_MS() but using an improvement
-  of the method by Podelski and Rybalchenko.
+  of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]".
 */
 template <typename PSET>
 bool
@@ -415,7 +417,7 @@ termination_test_PR(const PSET& pset);
 
 /*! \brief
   Like termination_test_MS_2() but using an improvement
-  of the method by Podelski and Rybalchenko.
+  of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]".
 */
 template <typename PSET>
 bool
@@ -423,7 +425,7 @@ termination_test_PR_2(const PSET& pset_before, const PSET& pset_after);
 
 /*! \brief
   Like one_affine_ranking_function_MS() but using an improvement
-  of the method by Podelski and Rybalchenko.
+  of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]".
 */
 template <typename PSET>
 bool
@@ -431,7 +433,7 @@ one_affine_ranking_function_PR(const PSET& pset, Generator& mu);
 
 /*! \brief
   Like one_affine_ranking_function_MS_2() but using an improvement
-  of the method by Podelski and Rybalchenko.
+  of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]".
 */
 template <typename PSET>
 bool
@@ -441,7 +443,7 @@ one_affine_ranking_function_PR_2(const PSET& pset_before,
 
 /*! \brief
   Like all_affine_ranking_functions_MS() but using an improvement
-  of the method by Podelski and Rybalchenko.
+  of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]".
 */
 template <typename PSET>
 void
@@ -449,7 +451,7 @@ all_affine_ranking_functions_PR(const PSET& pset, NNC_Polyhedron& mu_space);
 
 /*! \brief
   Like all_affine_ranking_functions_MS_2() but using an improvement
-  of the method by Podelski and Rybalchenko.
+  of the method by Podelski and Rybalchenko \ref BMPZ10 "[BMPZ10]".
 */
 template <typename PSET>
 void