[PPL-devel] [GIT] ppl/ppl(master): Properly terminate Doxygen comments.

Enea Zaffanella zaffanella at cs.unipr.it
Sat Feb 25 23:56:49 CET 2012


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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Feb 25 22:55:33 2012 +0100

Properly terminate Doxygen comments.

---

 src/intervals.defs.hh |   26 +++++++++++++-------------
 1 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh
index 92b7693..b9193b4 100644
--- a/src/intervals.defs.hh
+++ b/src/intervals.defs.hh
@@ -36,33 +36,33 @@ namespace Parma_Polyhedra_Library {
 /*! \ingroup PPL_CXX_interface */
 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
 enum I_Result {
-  //! \hideinitializer Result may be empty
+  //! \hideinitializer Result may be empty.
   I_EMPTY = 1U,
-  //! \hideinitializer Result may have only one value
+  //! \hideinitializer Result may have only one value.
   I_SINGLETON = 2U,
   /*! \brief \hideinitializer
-    Result may have more than one value, but it is not the domain universe
+    Result may have more than one value, but it is not the domain universe.
   */
   I_SOME = 4U,
-  //! \hideinitializer Result may be the domain universe
+  //! \hideinitializer Result may be the domain universe.
   I_UNIVERSE = 8U,
-  //! \hideinitializer Result is not empty
+  //! \hideinitializer Result is not empty.
   I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE,
-  //! \hideinitializer Result may be empty or not empty
+  //! \hideinitializer Result may be empty or not empty.
   I_ANY = I_EMPTY | I_NOT_EMPTY,
-  //! \hideinitializer Result may be empty or not empty
+  //! \hideinitializer Result may be empty or not empty.
   I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME,
-  //! \hideinitializer Result is neither empty nor the domain universe
+  //! \hideinitializer Result is neither empty nor the domain universe.
   I_NOT_DEGENERATE = I_SINGLETON | I_SOME,
-  //! \hideinitializer Result is definitely exact
+  //! \hideinitializer Result is definitely exact.
   I_EXACT = 16,
-  //! \hideinitializer Result is definitely inexact
+  //! \hideinitializer Result is definitely inexact.
   I_INEXACT = 32,
-  //! \hideinitializer Operation has definitely changed the set
+  //! \hideinitializer Operation has definitely changed the set.
   I_CHANGED = 64,
-  //! \hideinitializer Operation has left the set definitely unchanged
+  //! \hideinitializer Operation has left the set definitely unchanged.
   I_UNCHANGED = 128,
-  //! \hideinitializer Operation is undefined for some combination of values
+  //! \hideinitializer Operation is undefined for some combination of values.
   I_SINGULARITIES = 256
 };
 




More information about the PPL-devel mailing list