Module types 

Shared types used by every stage of the DFA assembly pipeline. Shared types for the vyre-std DFA assembly pipeline.

The pipeline stages pass these types between each other:

regex_to_nfa → Nfa → nfa_to_dfa → Dfa → dfa_minimize → Dfa → dfa_pack → PackedDfa

Each stage is a pure function; the final PackedDfa is a POD byte layout suitable for direct upload to a GPU buffer.

Structs

Dfa

Deterministic finite automaton with a dense transition table.

Nfa

Non-deterministic finite automaton in Thompson form.

NfaEdge

NFA transition: (from, label, to) where None label is epsilon.

PackedDfa

Packed DFA ready for upload to a GPU buffer.

Enums

DfaPackFormat

Packing format selector for super::dfa_pack::dfa_pack.

PatternError

Construction error shared across the pipeline.

Constants

INVALID_STATE

Sentinel state id used to mark “no transition on this byte.”

Type Aliases

NfaStateId

Thompson NFA state identifier.