dedekind::category::detail_automaton::Residual< N, P, K > Struct Template Reference

A state: whether a word of the set has just been read, and the pending words by length, pending[k - 1] those of length k. More...

Collaboration diagram for dedekind::category::detail_automaton::Residual< N, P, K >:

Public Member Functions
constexpr bool	operator== (const Residual &) const =default

Public Attributes
bool	accepting {false}
std::array< RunList< N, K >, P >	pending {}

Detailed Description

template<IsCountWord N, std::size_t P, std::size_t K>
struct dedekind::category::detail_automaton::Residual< N, P, K >

A state: whether a word of the set has just been read, and the pending words by length, pending[k - 1] those of length k.

---

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

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