dedekind::category::Symmetric< P, S, T >::Holds< V > Struct Template Reference

One position of a word against the condition: the letter at i is the power's, and its image under tau is at sigma(i). More...

Collaboration diagram for dedekind::category::Symmetric< P, S, T >::Holds< V >:

Public Member Functions
constexpr auto	at (decltype(P::length) i) const
constexpr bool	operator() (bool ok, decltype(P::length) i) const

Public Attributes
P	power
S	sigma
T	tau
V	word

Detailed Description

template<typename P, typename S, IsArrow T>
template<std::ranges::random_access_range V>
struct dedekind::category::Symmetric< P, S, T >::Holds< V >

One position of a word against the condition: the letter at i is the power's, and its image under tau is at sigma(i).

Member Function Documentation

at()

template<typename P, typename S, IsArrow T>

template<std::ranges::random_access_range V>

auto dedekind::category::Symmetric< P, S, T >::Holds< V >::at ( decltype(P::length) i ) const

inlineconstexpr

Parameters

i	a position.

Returns

the letter there.

---

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

• src/main/modules/dedekind/category/periodic.cppm