dedekind::category::Automaton< Sigma, Q > Struct Template Reference

A matcher's plan: the transitions on each letter, and the states where a word of the set has just been read. More...

Collaboration diagram for dedekind::category::Automaton< Sigma, Q >:

Public Member Functions
constexpr bool	operator== (const Automaton &) const =default

Public Attributes
AtMost< std::array< std::uint16_t, Sigma >, Q >	next
AtMost< bool, Q >	accepting
Columns	columns {}
	The columns of a byte, so that a text of bytes is read through them; none for a plan given as a table over ranks.

Detailed Description

template<std::size_t Sigma, std::size_t Q>
requires (Q >= 1 && Q <= 65536)
struct dedekind::category::Automaton< Sigma, Q >

A matcher's plan: the transitions on each letter, and the states where a word of the set has just been read.

Template Parameters

Sigma	the letters.
Q	the bound on the states.

---

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

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