piranha::zero_is_absorbing< T, typename > Class Template Reference

Detect if zero is a multiplicative absorber. More...

#include <piranha/type_traits.hpp>

Static Public Attributes
static const bool	value = true
	Value of the type trait.

Detailed Description

template<typename T, typename = void>
class piranha::zero_is_absorbing< T, typename >

Detect if zero is a multiplicative absorber.

This type trait, defaulting to true, establishes if the zero element of the type T is a multiplicative absorber. That is, if for any value \( x \) of type T the relation

\[ x \times 0 = 0 \]

holds, then this type trait should be true.

This type trait requires T to satsify piranha::is_multipliable, after removal of cv/reference qualifiers. This type trait can be specialised via std::enable_if.

Definition at line 1147 of file type_traits.hpp.

---

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

• type_traits.hpp