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

The letters that fill a merged cycle of length legs through tau, counted in the bit word of width W: the spider's merge on the truth values is \(\wedge\), so packed it is &, one mask per step around the cycle and one for the letters tau returns, and one popcount. More...

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

Classes
struct	AndStep
	One more step's mask into the meet. More...

Public Member Functions
template<std::size_t W>
constexpr N	operator() (std::integral_constant< std::size_t, W >) const

Public Attributes
Slice< C >	letters
F	member
T	tau
N	length

Detailed Description

template<HasNNOStep C, IsArrow F, IsArrow T, IsCountWord N>
struct dedekind::category::detail_periodic::CycleCount< C, F, T, N >

The letters that fill a merged cycle of length legs through tau, counted in the bit word of width W: the spider's merge on the truth values is \(\wedge\), so packed it is &, one mask per step around the cycle and one for the letters tau returns, and one popcount.

---

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

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