Module: ppl/ppl Branch: master Commit: b64080a7407e00c3196f2ab2a16b0dcf46c03567 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64080a7407e0... Author: Roberto Bagnara <bagnara@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