dedekind::category::detail_automaton::Advance< Sigma, N, P, K, KL > Struct Template Reference

One pending length of a state's derivative by a letter: the pending words one longer, derived, and the set's own derivative where they are its length, joined; a word of length zero is a match. More...

Collaboration diagram for dedekind::category::detail_automaton::Advance< Sigma, N, P, K, KL >:

Public Member Functions
constexpr Maybe< Residual< N, P, K > >	operator() (const Residual< N, P, K > &acc, N k) const

Public Attributes
Residual< N, P, K >	from
std::array< RunList< N, KL >, Sigma >	own
N	length
N	letter

Detailed Description

template<std::size_t Sigma, IsCountWord N, std::size_t P, std::size_t K, std::size_t KL>
struct dedekind::category::detail_automaton::Advance< Sigma, N, P, K, KL >

One pending length of a state's derivative by a letter: the pending words one longer, derived, and the set's own derivative where they are its length, joined; a word of length zero is a match.

---

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

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