std::tr2::bool_set(3)

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.

Constructor & Destructor Documentation

  std::tr2::bool_set::bool_set () [inline], [constexpr]

Default constructor.

Referenced by equals().

  std::tr2::bool_set::bool_set (bool __t) [inline], [constexpr]

Constructor from bool.

Member Function Documentation

  bool std::tr2::bool_set::equals (bool_set __b) const [inline]

Return true if states are equal.

References bool_set().

  bool std::tr2::bool_set::is_emptyset () const [inline]

Return true if this is empty.

  bool std::tr2::bool_set::is_indeterminate () const [inline]

Return true if this is indeterminate.

  bool std::tr2::bool_set::is_singleton () const [inline]

Return true if this is false or true (normal boolean).

Referenced by operator bool().

  std::tr2::bool_set::operator bool () const [inline]

Conversion to bool.

References is_singleton().

Author

Generated automatically by Doxygen for libstdc++ from the source code.