C(++)ECCO
C++ Error Control COding: a header-only library for ECC simulations and experiments, modeling complete coding systems across arbitrary finite fields and complex inter-field relationships - Christian Senger <senger@inue.uni-stuttgart.de>
Loading...
Searching...
No Matches
CECCO::BelongsTo Concept Reference

T is identical to at least one of Types.... More...

#include <field_concepts_traits.hpp>

Concept definition

template<typename T, typename... Types>
concept BelongsTo = (std::is_same_v<T, Types> || ...)
CECCO::BelongsTo
T is identical to at least one of Types....
Definition field_concepts_traits.hpp:214

Detailed Description

T is identical to at least one of Types....

Template Parameters
TCandidate type
TypesParameter pack to test against

Used to constrain CECCO::Iso operators to its OTHERS... representations:

template <BelongsTo<OTHERS...> OTHER>
Iso& operator=(const OTHER& other);
CECCO::Iso
Single logical field unifying several pairwise-isomorphic representations.
Definition fields.hpp:3115

Definition at line 214 of file field_concepts_traits.hpp.