piranha::key_has_ipow_subs< Key, T > Class Template Reference

Type trait to detect the presence of the integral power substitution method in keys. More...

#include <piranha/mp_integer.hpp>

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

Detailed Description

template<typename Key, typename T>
class piranha::key_has_ipow_subs< Key, T >

Type trait to detect the presence of the integral power substitution method in keys.

This type trait will be true if Key provides a const method ipow_subs() accepting as const parameters a const reference to a piranha::symbol_idx, an instance of piranha::integer, an instance of T and an instance of piranha::symbol_fset. The return value of the method must be an std::vector of pairs in which the second type must be Key itself (after the removal of cv/reference qualifiers). The ipow_subs() method represents the substitution of the integral power of a symbol with an instance of type T.

Key must satisfy piranha::is_key after the removal of cv/reference qualifiers, otherwise a compile-time error will be emitted.

Definition at line 557 of file mp_integer.hpp.

---

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

• mp_integer.hpp