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

One more digit of a half-site read backwards, reflected: the next letter of the other half, \(\sigma - 1 - d\) on the ranks. More...

Public Member Functions
constexpr std::pair< N, N >	operator() (std::pair< N, N > s, N) const

Detailed Description

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

One more digit of a half-site read backwards, reflected: the next letter of the other half, \(\sigma - 1 - d\) on the ranks.

---

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

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