Logical operations

Functions
tribool	staticlib::support::logic::operator! (tribool x)
	Computes the logical negation of a tribool.
tribool	staticlib::support::logic::operator&& (tribool x, tribool y)
	Computes the logical conjuction of two tribools.
tribool	staticlib::support::logic::operator&& (tribool x, bool y)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator&& (bool x, tribool y)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator&& (indeterminate_keyword_t, tribool x)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator&& (tribool x, indeterminate_keyword_t)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator|| (tribool x, tribool y)
	Computes the logical disjunction of two tribools.
tribool	staticlib::support::logic::operator|| (tribool x, bool y)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator|| (bool x, tribool y)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator|| (indeterminate_keyword_t, tribool x)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
tribool	staticlib::support::logic::operator|| (tribool x, indeterminate_keyword_t)
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Detailed Description

Function Documentation

tribool staticlib::support::logic::operator! ( tribool  x )

inline

Computes the logical negation of a tribool.

Returns

the logical negation of the tribool, according to the table:

!
false	true
true	false
indeterminate	indeterminate

Exceptions

nothrow

tribool staticlib::support::logic::operator&& ( tribool  x, tribool  y  )

inline

Computes the logical conjuction of two tribools.

Returns

the result of logically ANDing the two tribool values, according to the following table:

&&	false	true	indeterminate
false	false	false	false
true	false	true	indeterminate
indeterminate	false	indeterminate	indeterminate

Exceptions

nothrow

tribool staticlib::support::logic::operator&& ( tribool  x, bool  y  )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator&& ( bool  x, tribool  y  )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator&& ( indeterminate_keyword_t  , tribool  x  )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator&& ( tribool  x, indeterminate_keyword_t    )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator|| ( tribool  x, tribool  y  )

inline

Computes the logical disjunction of two tribools.

Returns

the result of logically ORing the two tribool values, according to the following table:

||	false	true	indeterminate
false	false	true	indeterminate
true	true	true	true
indeterminate	indeterminate	true	indeterminate

Exceptions

nothrow

tribool staticlib::support::logic::operator|| ( tribool  x, bool  y  )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator|| ( bool  x, tribool  y  )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator|| ( indeterminate_keyword_t  , tribool  x  )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

tribool staticlib::support::logic::operator|| ( tribool  x, indeterminate_keyword_t    )

inline

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.