dedekind::category::Congruent< N > Struct Template Reference

The residue class \(\{k \mid k \equiv r \pmod m\}\) as a predicate on the counts, periodic with period m: the quotient onto Modular<m>'s carrier, then the test for r. More...

Public Types
using	Domain = N
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (N k) const
constexpr bool	operator== (const Congruent &) const =default

Public Attributes
N	modulus {1}
N	residue {0}

Detailed Description

template<IsCountWord N = std::size_t>
struct dedekind::category::Congruent< N >

The residue class \(\{k \mid k \equiv r \pmod m\}\) as a predicate on the counts, periodic with period m: the quotient onto Modular<m>'s carrier, then the test for r.

Template Parameters

N	the counts.

Member Function Documentation

operator()()

template<IsCountWord N = std::size_t>

bool dedekind::category::Congruent< N >::operator() ( N k ) const

inlineconstexpr

Parameters

k

a count.

Returns

whether k is congruent to the residue.

---

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

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