dedekind::category::RunCombine Struct Reference

The run lists' domain meet and join, the reducer's leaf-combine: where two leaves are run lists on one chain, the sweep, its bound the sum of theirs. More...

Static Public Member Functions
template<IsCountWord N, std::size_t J, std::size_t K>
static constexpr RunList< N, J+K >	meet_value (const RunList< N, J > &a, const RunList< N, K > &b)
template<IsCountWord N, std::size_t J>
static constexpr RunList< N, J+2 >	meet_value (const RunList< N, J > &a, const RunList< N, 2 > &w)
	The meet with a single run, by law a restriction: the same set as the sweep's, by bisection.
template<IsCountWord N, std::size_t J, std::size_t K>
static constexpr RunList< N, J+K >	join_value (const RunList< N, J > &a, const RunList< N, K > &b)

Detailed Description

The run lists' domain meet and join, the reducer's leaf-combine: where two leaves are run lists on one chain, the sweep, its bound the sum of theirs.

---

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

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