dedekind::category::Prefixed< P, S, T > Struct Template Reference

A section met with a prefix. Its own type, so that only what knows the prefix reads it: count_factors reads cycle types alone, and would count the section as if no letter were fixed, so no count is offered until it has a law. More...

Collaboration diagram for dedekind::category::Prefixed< P, S, T >:

Public Member Functions
template<std::ranges::random_access_range W> requires std::ranges::sized_range<W>
constexpr bool	operator() (const W &w) const

Public Attributes
Symmetric< P, S, T >	section
AtMost< std::byte, 8 >	word

Detailed Description

template<typename P, typename S, IsArrow T>
struct dedekind::category::Prefixed< P, S, T >

A section met with a prefix. Its own type, so that only what knows the prefix reads it: count_factors reads cycle types alone, and would count the section as if no letter were fixed, so no count is offered until it has a law.

Template Parameters

P
S
T	the section's.

Member Function Documentation

operator()()

template<typename P, typename S, IsArrow T>

template<std::ranges::random_access_range W>
requires std::ranges::sized_range<W>

bool dedekind::category::Prefixed< P, S, T >::operator() ( const W & w ) const

inlineconstexpr

Parameters

w

a word.

Returns

whether the section holds it and it begins with the prefix.

---

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

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