std::tr2::bool_set Class Reference

List of all members.

Public Member Functions

• bool_set ()
• bool_set (bool __t)
• bool contains (bool_set __b) const
• bool equals (bool_set __b) const
• bool is_emptyset () const
• bool is_indeterminate () const
• bool is_singleton () const
• operator bool () const

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.

Definition at line 54 of file bool_set.

---

Constructor & Destructor Documentation

std::tr2::bool_set::bool_set

(

)

[inline]

Default constructor.

Definition at line 59 of file bool_set.

std::tr2::bool_set::bool_set

(

bool

__t

)

[inline]

Constructor from bool.

Definition at line 62 of file bool_set.

---

Member Function Documentation

bool std::tr2::bool_set::equals

(

bool_set

__b

)

const [inline]

Return true if states are equal.

Definition at line 69 of file bool_set.

bool std::tr2::bool_set::is_emptyset

(

)

const [inline]

Return true if this is empty.

Definition at line 73 of file bool_set.

bool std::tr2::bool_set::is_indeterminate

(

)

const [inline]

Return true if this is indeterminate.

Definition at line 77 of file bool_set.

bool std::tr2::bool_set::is_singleton

(

)

const [inline]

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

Definition at line 81 of file bool_set.

Referenced by operator bool().

std::tr2::bool_set::operator bool

(

)

const [inline]

Conversion to bool.

Definition at line 86 of file bool_set.

References is_singleton().

---

The documentation for this class was generated from the following files:

• bool_set
• bool_set.tcc