constexpr bool_set ()
Default constructor.
constexpr bool_set (bool __t)
Constructor from bool.
bool contains (bool_set __b) const
bool equals (bool_set __b) const
Return true if states are equal.
bool is_emptyset () const
Return true if this is empty.
bool is_indeterminate () const
Return true if this is indeterminate.
bool is_singleton () const
Return true if this is false or true (normal boolean).
operator bool () const
Conversion to bool.
static bool_set emptyset ()
static bool_set indeterminate ()
bool_set operator & (bool_set __s, bool_set __t)
bool_set operator! (bool_set __b)
template<typename CharT , typename Traits > std::basic_ostream< CharT, Traits > & operator<< (std::basic_ostream< CharT, Traits > &__out, bool_set __b)
bool_set operator== (bool_set __s, bool_set __t)
template<typename CharT , typename Traits > std::basic_istream< CharT, Traits > & operator>> (std::basic_istream< CharT, Traits > &__in, bool_set &__b)
bool_set operator^ (bool_set __s, bool_set __t)
bool_set operator| (bool_set __s, bool_set __t)
bool_set
See N2136, Bool_set: multi-valued logic by Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion.
The implicit conversion to bool is slippery! I may use the new explicit conversion. This has been specialized in the language so that in contexts requiring a bool the conversion happens implicitly. Thus most objections should be eliminated.
Definition at line 54 of file bool_set.
Default constructor.
Definition at line 59 of file bool_set.
Constructor from bool.
Definition at line 62 of file bool_set.
Return true if states are equal.
Definition at line 69 of file bool_set.
Return true if this is empty.
Definition at line 73 of file bool_set.
Return true if this is indeterminate.
Definition at line 77 of file bool_set.
Return true if this is false or true (normal boolean).
Definition at line 81 of file bool_set.
Referenced by operator bool().
Conversion to bool.
Definition at line 86 of file bool_set.
References is_singleton().
Generated automatically by Doxygen for libstdc++ from the source code.