dedekind::category::detail_automaton::ReadBack< Section, Decoder > Struct Template Reference

A code tested by a section: read back as its word, then the section's own membership. More...

Collaboration diagram for dedekind::category::detail_automaton::ReadBack< Section, Decoder >:

Public Member Functions
template<IsCountWord N>
constexpr bool	operator() (N code) const

Public Attributes
Section	section
Decoder	decode

Detailed Description

template<typename Section, typename Decoder>
struct dedekind::category::detail_automaton::ReadBack< Section, Decoder >

A code tested by a section: read back as its word, then the section's own membership.

---

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

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