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

The set's own derivatives, one per letter: the same for every state, so computed once, before the walk. More...

Collaboration diagram for dedekind::category::detail_automaton::DeriveSites< Sigma, N, KL >:

Public Types
using	Own = std::array<RunList<N, KL + 2>, Sigma>

Public Member Functions
constexpr Own	operator() (const Own &acc, N a) const

Public Attributes
RunList< N, KL >	sites
N	length

Detailed Description

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

The set's own derivatives, one per letter: the same for every state, so computed once, before the walk.

---

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

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