spot
2.2.1
|
A class implementing Kleene's three-valued logic. More...
#include <spot/misc/trival.hh>
Public Types | |
enum | value_t : repr_t { no_value = -1, maybe_value = 0, yes_value = 1 } |
typedef signed char | repr_t |
Public Member Functions | |
constexpr | trival (bool v) |
trival (repr_t v) | |
constexpr | trival (value_t v) |
constexpr bool | is_known () const |
Is true or false, but not maybe. More... | |
constexpr bool | is_maybe () const |
constexpr bool | is_true () const |
constexpr bool | is_false () const |
constexpr bool | operator== (trival o) const |
constexpr bool | operator!= (trival o) const |
constexpr value_t | val () const |
constexpr | operator bool () const |
constexpr trival | operator! () const |
Static Public Member Functions | |
static constexpr trival | maybe () |
A class implementing Kleene's three-valued logic.
https://en.wikipedia.org/wiki/Three-valued_logic#Kleene_and_Priest_logics
|
inline |
Is true or false, but not maybe.