piranha::is_cf< T > Class Template Reference

Type trait to detect coefficient types. More...

#include <piranha/is_cf.hpp>

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

Detailed Description

template<typename T>
class piranha::is_cf< T >

Type trait to detect coefficient types.

This type trait will be true if T can be used as a coefficient type, false otherwise. The requisites for T are the following:

• it must satisfy piranha::is_container_element,
• it must satisfy piranha::has_print_coefficient and piranha::has_print_tex_coefficient,
• it must satisfy piranha::has_is_zero and piranha::has_negate,
• it must be equality comparable,
• it must be addable and subtractable (both binary and in-place forms),
• it must be constructible from integer numerals.

Definition at line 55 of file is_cf.hpp.

---

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

• is_cf.hpp