std::tr2::bool_set
Contents
Constructor & Destructor Documentation
constexprstd::tr2::bool_set::bool_set()[inline],[constexpr]
Default constructor.
constexprstd::tr2::bool_set::bool_set(bool__t)[inline],[constexpr]
Constructor from bool.
Detailed Description
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.
Member Function Documentation
boolstd::tr2::bool_set::equals(bool_set__b)const[inline]
Return true if states are equal.
boolstd::tr2::bool_set::is_emptyset()const[inline]
Return true if this is empty.
boolstd::tr2::bool_set::is_indeterminate()const[inline]
Return true if this is indeterminate.
boolstd::tr2::bool_set::is_singleton()const[inline]
Return true if this is false or true (normal boolean).
std::tr2::bool_set::operatorbool()const[inline]
Conversion to bool.
Name
std::tr2::bool_set
Synopsis
#include <bool_set>
PublicMemberFunctions
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).
operatorbool () const
Conversion to bool.
StaticPublicMemberFunctionsstaticbool_setemptyset ()
staticbool_setindeterminate ()
Friendsbool_setoperator! (bool_set __b)
bool_setoperator& (bool_set__s, bool_set __t)
template<typenameCharT , typenameTraits > std::basic_ostream< CharT, Traits > & operator<<
(std::basic_ostream< CharT, Traits > &__out, bool_set __b)
bool_setoperator== (bool_set__s, bool_set __t)
template<typenameCharT , typenameTraits > std::basic_istream< CharT, Traits > & operator>>
(std::basic_istream< CharT, Traits > &__in, bool_set &__b)
bool_setoperator^ (bool_set__s, bool_set __t)
bool_setoperator| (bool_set__s, bool_set __t)
