piranha::series_is_rebindable< T, Cf > Struct Template Reference

Check if a series can be rebound. More...

#include <piranha/series.hpp>

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

Detailed Description

template<typename T, typename Cf>
struct piranha::series_is_rebindable< T, Cf >

Check if a series can be rebound.

Rebinding a series type T means to change its coefficient type to Cf. The ability of a series to be rebound is signalled by the presence of a rebind template alias defined within the series class.

A series is considered rebindable if all the following conditions hold:

• there exists a template alias rebind in the series type T,
• T::rebind<Cf> is a series types,
• the coefficient type of T::rebind<Cf> is Cf.

T and Cf are considered after the removal of cv/reference qualifiers in this type trait. If T is not an instance of piranha::series or Cf does not satisfy piranha::is_cf, then the value of the type trait will be false.

Definition at line 197 of file series.hpp.

---

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

• series.hpp