piranha::key_has_t_lorder< Key > Class Template Reference

Type trait to detect if a key type has a trigonometric low order property. More...

#include <piranha/math.hpp>

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

Detailed Description

template<typename Key>
class piranha::key_has_t_lorder< Key >

Type trait to detect if a key type has a trigonometric low order property.

The type trait has the same meaning as piranha::has_t_lorder, but it's meant for use with key types. The type trait will be true if Key is a key type providing two methods with the following signatures:

T t_lorder(const symbol_fset &) const;
U t_lorder(const symbol_idx_fset &, const symbol_fset &) const;

where T and U can be any types.

If Key does not satisfy piranha::is_key, after the removal of cv/reference qualifiers, a compilation error will be produced.

Definition at line 2207 of file math.hpp.

---

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

• math.hpp