dedekind::category::detail_automaton::AddPalindrome< Sigma, N, KL > Struct Template Reference

One more half-site, its word's code a run of one where it lies in the codes kept. Halves ascending give codes ascending, the half being the word's most significant digits. More...

Collaboration diagram for dedekind::category::detail_automaton::AddPalindrome< Sigma, N, KL >:

Public Member Functions
constexpr AtMost< N, KL >	operator() (AtMost< N, KL > steps, N h) const

Public Attributes
N	half
	the half's length
N	high
	sigma^half
N	first
	the least code kept
N	last
	one past the greatest

Detailed Description

template<std::size_t Sigma, IsCountWord N, std::size_t KL>
struct dedekind::category::detail_automaton::AddPalindrome< Sigma, N, KL >

One more half-site, its word's code a run of one where it lies in the codes kept. Halves ascending give codes ascending, the half being the word's most significant digits.

---

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

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