dedekind::category::detail_periodic::KeptAfter< F, T, N > Struct Template Reference

Whether the letter tau takes steps times to is kept. More...

Collaboration diagram for dedekind::category::detail_periodic::KeptAfter< F, T, N >:

Public Types
using	Domain = Dom<F>
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (const Domain &a) const

Public Attributes
Slice< Domain >	letters
F	member
T	tau
N	steps

Detailed Description

template<IsArrow F, IsArrow T, IsCountWord N>
requires std::same_as<Dom<T>, Dom<F>> && std::same_as<Cod<T>, Dom<F>>
struct dedekind::category::detail_periodic::KeptAfter< F, T, N >

Whether the letter tau takes steps times to is kept.

---

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

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