dedekind::category::detail_runs::Translated< N, K > Struct Template Reference

One step of a preimage along a translation: a step past it moves down by it; one at or before it is absorbed into the value at 0. More...

Collaboration diagram for dedekind::category::detail_runs::Translated< N, K >:

Public Member Functions
constexpr AtMost< N, K >	operator() (const AtMost< N, K > &out, N p) const

Public Attributes
N	by

Detailed Description

template<IsCountWord N, std::size_t K>
struct dedekind::category::detail_runs::Translated< N, K >

One step of a preimage along a translation: a step past it moves down by it; one at or before it is absorbed into the value at 0.

---

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

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