summaryrefslogtreecommitdiff
path: root/libs/logic/doc/tribool.boostbook
diff options
context:
space:
mode:
Diffstat (limited to 'libs/logic/doc/tribool.boostbook')
-rw-r--r--libs/logic/doc/tribool.boostbook12
1 files changed, 12 insertions, 0 deletions
diff --git a/libs/logic/doc/tribool.boostbook b/libs/logic/doc/tribool.boostbook
index 1fa199aa0..80da3971e 100644
--- a/libs/logic/doc/tribool.boostbook
+++ b/libs/logic/doc/tribool.boostbook
@@ -138,6 +138,18 @@ if (<functionname>indeterminate</functionname>(x)) {
else {
// report success or failure of x
}</programlisting>
+
+ <para> All the logical operators and methods of <code><classname>tribool</classname></code> are marked
+ as <code>constexpr</code> in C++11. It means that <code><classname>tribool</classname></code> can
+ be used in compile time expressions:</para>
+
+ <programlisting>constexpr <classname>tribool</classname> x = (tribool(true) || tribool(indeterminate));
+<functionname>static_assert</functionname>(x, "Must be true!");
+</programlisting>
+
+ <note>Some compilers may have troubles with evaluating <code>tribool::operator safe_bool()</code> at compile time.</note>
+
+
</section>
<section>