[PPL-devel] [GIT] ppl/ppl(master): Commits improved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 12:43:47 2009 +0200

Commits improved.

---

 src/WRD_coefficient_types.defs.hh |    8 ++------
 src/checked.inlines.hh            |    8 ++++----
 2 files changed, 6 insertions(+), 10 deletions(-)

diff --git a/src/WRD_coefficient_types.defs.hh b/src/WRD_coefficient_types.defs.hh
index 1916c46..7e28d28 100644
--- a/src/WRD_coefficient_types.defs.hh
+++ b/src/WRD_coefficient_types.defs.hh
@@ -28,11 +28,9 @@ site: http://www.cs.unipr.it/ppl/ . */
 namespace Parma_Polyhedra_Library {
 
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
-/*! \brief
+/*! \brief \ingroup PPL_CXX_interface
   The production policy for checked numbers used in weakly-relational
   domains.
-
-  \ingroup PPL_CXX_interface
  */
 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
 struct WRD_Extended_Number_Policy {
@@ -92,11 +90,9 @@ struct WRD_Extended_Number_Policy {
 };
 
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
-/*! \brief
+/*! \brief \ingroup PPL_CXX_interface
   The debugging policy for checked numbers used in weakly-relational
   domains.
-
-  \ingroup PPL_CXX_interface
  */
 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
 struct Debug_WRD_Extended_Number_Policy {
diff --git a/src/checked.inlines.hh b/src/checked.inlines.hh
index 0c96381..7e2e664 100644
--- a/src/checked.inlines.hh
+++ b/src/checked.inlines.hh
@@ -30,8 +30,8 @@ site: http://www.cs.unipr.it/ppl/ . */
 
 #if defined(__GNUC__)
 /*! \brief
-  Performs the test <CODE>a < b</CODE> avoiding the warning
-  about comparison with min or max of the type.
+  Performs the test <CODE>a < b</CODE> avoiding the warning about the
+  comparison being always false due to limited range of data type.
 */
 #define PPL_LT_SILENT(a, b)				\
   ({						\
@@ -40,8 +40,8 @@ site: http://www.cs.unipr.it/ppl/ . */
       _a <= _b && _a != _b;			\
   })
 /*! \brief
-  Performs the test <CODE>a > b</CODE> avoiding the warning
-  about comparison with min or max of the type.
+  Performs the test <CODE>a > b</CODE> avoiding the warning about the
+  comparison being always false due to limited range of data type.
 */
 #define PPL_GT_SILENT(a, b) PPL_LT_SILENT(b, a)
 #else