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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Mon Oct 28 12:42:02 2013 +0100

Worked around a Doxygen bug.

---

src/globals_defs.hh | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/src/globals_defs.hh b/src/globals_defs.hh index 9ac1915..d5907b2 100644 --- a/src/globals_defs.hh +++ b/src/globals_defs.hh @@ -424,6 +424,9 @@ template <typename T, long long v, bool prefer_signed = true, struct Constant_ : public TConstant<T, v> { };

+//! \cond +// Keep Doxygen off until it learns how to deal properly with `||'. + template <typename T, long long v, bool prefer_signed> struct Constant_<T, v, prefer_signed, typename Enable_If<(Fit<typename C_Integer<T>::smaller_signed_type, v>::value @@ -440,6 +443,8 @@ struct Constant_<T, v, prefer_signed, : public Constant_<typename C_Integer<T>::smaller_unsigned_type, v, prefer_signed> { };

+//! \endcond + template <long long v, bool prefer_signed = true> struct Constant : public Constant_<long long, v, prefer_signed> { };