dedekind::category::detail_periodic::CylinderFactorsAt< P, S, N > Struct Template Reference

The sequence of a cylinder's factors along the offsets of its window. A power is the same at every position, so every window that fits has the same factors (R2: the offset drops out): period 1, on the offsets where the window fits. The summands of occurrences are this sequence read by CountOf or ExactCountOf. More...

Collaboration diagram for dedekind::category::detail_periodic::CylinderFactorsAt< P, S, N >:

Public Types
using	Domain = N
using	Codomain

Public Member Functions
constexpr Codomain	operator() (N offset) const

Public Attributes
P	power
S	inner
N	length

Detailed Description

template<typename P, typename S, IsCountWord N>
struct dedekind::category::detail_periodic::CylinderFactorsAt< P, S, N >

The sequence of a cylinder's factors along the offsets of its window. A power is the same at every position, so every window that fits has the same factors (R2: the offset drops out): period 1, on the offsets where the window fits. The summands of occurrences are this sequence read by CountOf or ExactCountOf.

Member Typedef Documentation

Codomain

template<typename P, typename S, IsCountWord N>

using dedekind::category::detail_periodic::CylinderFactorsAt< P, S, N >::Codomain

Initial value:

 decltype(count_factors(cylinder(std::declval<const P&>(),
                                                   std::declval<Window<N>>(),
                                                   std::declval<const S&>())))

---

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

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