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

One letter out of the state being walked: its derivative's number, a new state numbered next where it is new. More...

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

Public Types
using	B = Build<Sigma, N, P, K, Q>

Public Member Functions
constexpr Maybe< B >	operator() (const B &acc, N a) const

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

Detailed Description

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

One letter out of the state being walked: its derivative's number, a new state numbered next where it is new.

---

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

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