piranha::key_is_multipliable< Cf, Key > Class Template Reference

Type trait for multipliable key. More...

#include <piranha/key_is_multipliable.hpp>

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

Detailed Description

template<typename Cf, typename Key>
class piranha::key_is_multipliable< Cf, Key >

Type trait for multipliable key.

A multipliable key satisfies the following requirements:

• it has a public static member of type const std::size_t called multiply_arity with a value greater than zero,
• it has a static function called multiply() accepting the following arguments:
  • a reference to an std::array of piranha::term of Cf and Key of size multiply_arity,
  • two const references to piranha::term of Cf and Key,
  • a const reference to piranha::symbol_fset.

Cf and Key are considered after the removal of cf/reference qualifiers by this type trait. Cf and Key must satisfy piranha::is_cf and piranha::is_key, otherwise a compile-time error will be generated.

Definition at line 80 of file key_is_multipliable.hpp.

---

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

• key_is_multipliable.hpp