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

The construction so far: the states found, in the order found, and the plan's rows for those already walked. More...

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

Public Attributes
AtMost< Residual< N, P, K >, Q >	states
Automaton< Sigma, Q >	plan
std::array< std::uint16_t, Sigma >	row {}

Detailed Description

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

The construction so far: the states found, in the order found, and the plan's rows for those already walked.

---

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

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