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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 14:32:57 2012 +0100

Let the docs for the I_Result enum appear on the devref manual only.

---

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

diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index 50993d8..4649f1e 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -31,36 +31,64 @@ site: http://bugseng.com/products/ppl/ . */

namespace Parma_Polyhedra_Library {

+#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! The result of an operation on intervals. /*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) enum I_Result { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EMPTY = 1U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may have only one value. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGLETON = 2U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief \hideinitializer Result may have more than one value, but it is not the domain universe. */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SOME = 4U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNIVERSE = 8U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_ANY = I_EMPTY | I_NOT_EMPTY, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is neither empty nor the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_DEGENERATE = I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely exact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EXACT = 16, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely inexact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_INEXACT = 32, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has definitely changed the set. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_CHANGED = 64, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has left the set definitely unchanged. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNCHANGED = 128, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation is undefined for some combination of values. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGULARITIES = 256 };