dedekind::category::RunList< N, K > Struct Template Reference

A subset of the counts held as its steps: the positions where membership flips, strictly increasing, from outside at 0. At most K steps, so at most K / 2 runs. More...

Collaboration diagram for dedekind::category::RunList< N, K >:

Classes
struct	Member
	The subobject surface: a member is a count the run list holds, and its inclusion into the counts is the count itself. More...

Public Types
using	Domain = N
using	Codomain = bool
using	logic_species = Boole

Public Member Functions
constexpr N	ι (const Member &m) const
constexpr bool	operator() (N x) const
template<std::size_t J>
constexpr bool	operator== (const RunList< N, J > &o) const
	The sets' equality, whatever the two bounds: the same steps.

Public Attributes
AtMost< N, K >	steps

Detailed Description

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

A subset of the counts held as its steps: the positions where membership flips, strictly increasing, from outside at 0. At most K steps, so at most K / 2 runs.

Template Parameters

N	the counts.
K	the bound on the steps.

Member Function Documentation

operator()()

template<IsCountWord N, std::size_t K>

bool dedekind::category::RunList< N, K >::operator() ( N x ) const

inlineconstexpr

Parameters

x

a count.

Returns

whether it lies in the set: an odd number of steps at or before it.

---

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

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