NAME

std::tr2::bool_set

SYNOPSIS

#include <bool_set>

Public Member Functions

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 Public Member Functions

static bool_set emptyset ()
static bool_set indeterminate ()

Friends

bool_set operator! (bool_set __b)
bool_set operator& (bool_set __s, bool_set __t)
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)

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.