summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoberto Bagnara <roberto.bagnara@bugseng.com>2013-10-28 12:42:02 +0100
committerRoberto Bagnara <roberto.bagnara@bugseng.com>2013-10-28 12:42:02 +0100
commit637c3cfce1b6e6194cf4a7f8e1bdd473917fe472 (patch)
tree1e8cfd7e5dd2397bf0bf3784caf6cdebae95e850
parent8391990970df4c26d8bccc9ad41d68beaea99f50 (diff)
downloadppl-637c3cfce1b6e6194cf4a7f8e1bdd473917fe472.tar.gz
ppl-637c3cfce1b6e6194cf4a7f8e1bdd473917fe472.tar.bz2
ppl-637c3cfce1b6e6194cf4a7f8e1bdd473917fe472.zip
Worked around a Doxygen bug.
-rw-r--r--src/globals_defs.hh5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/globals_defs.hh b/src/globals_defs.hh
index 9ac1915d7..d5907b2e0 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> {
};