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

One state walked, in the order found: its row of transitions, and whether it accepts. Past the states found, nothing to walk. More...

Collaboration diagram for dedekind::category::detail_automaton::Walk< 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, std::size_t i) const

Public Attributes
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::Walk< Sigma, N, P, K, KL, Q >

One state walked, in the order found: its row of transitions, and whether it accepts. Past the states found, nothing to walk.

---

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

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