3-valued boolean (tbool_t wrapper).
More...
#include <apxx_manager.hh>
|
| tbool (bool a) |
| Converts true to tbool_true and false to tbool_false .
|
|
| tbool (tbool_t a) |
| Conversion from tbool_t.
|
|
| operator tbool_t () |
| Conversion to tbool_t.
|
|
| operator bool () |
| Returns true if and only if the value is tbool_true .
|
|
|
tbool_t | x |
| Either tbool_false , tbool_true , or tbool_top .
|
|
3-valued boolean (tbool_t wrapper).
A tbool_t holds a value in 3-valued logic: tbool_true
, tbool_false
, or tbool_top
(don't know).
◆ tbool() [1/2]
Converts true to tbool_true
and false to tbool_false
.
◆ tbool() [2/2]
tbool::tbool |
( |
tbool_t | a | ) |
|
|
inline |
◆ operator bool()
Returns true if and only if the value is tbool_true
.
◆ operator tbool_t()
tbool::operator tbool_t |
( |
| ) |
|
|
inline |
Either tbool_false
, tbool_true
, or tbool_top
.
The documentation for this struct was generated from the following files: