piranha::is_key< T > Class Template Reference

Key type concept check. More...

#include <piranha/is_key.hpp>

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

Detailed Description

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

Key type concept check.

This type trait will be true if T satisfies all the requirements of a key type, false otherwise.

Key types must implement the following methods:

bool is_compatible(const symbol_fset &) const noexcept;
bool is_zero(const symbol_fset &) const noexcept;
bool is_unitary(const symbol_fset &) const;
T merge_symbols(const symbol_idx_fmap<symbol_fset> &, const symbol_fset &) const;
void print(std::ostream &, const symbol_fset &) const;
void print_tex(std::ostream &, const symbol_fset &) const;
void trim_identify(std::vector<char> &, const symbol_fset &) const;
T trim(const std::vector<char> &, const symbol_fset &) const;

Additionally, T must also be constructible from a const piranha::symbol_fset reference and satisfy the following type traits: piranha::is_container_element, piranha::is_equality_comparable and piranha::is_hashable.

Definition at line 65 of file is_key.hpp.

---

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

• is_key.hpp