Expand description
GPU-native pattern matching and DFA assembly. Pattern matching operations.
The pattern family holds the vyre-std DFA assembly pipeline:
regex_to_nfa → Nfa → nfa_to_dfa → Dfa → dfa_minimize → Dfa → dfa_pack → PackedDfaAho-Corasick construction for literal-pattern sets is a planned
companion primitive; see
coordination/L.1.4-aho_corasick_build-rewrite-deferred.md for the
rewrite owed against the new pattern::types abstractions.
Re-exports§
pub use dfa_assemble::dfa_assemble;pub use dfa_assemble::AssembleOptions;pub use dfa_assemble::Pattern;pub use dfa_minimize::dfa_minimize;pub use dfa_pack::dfa_pack;pub use dfa_pack::dfa_unpack;pub use nfa_to_dfa::nfa_to_dfa;pub use regex_to_nfa::regex_to_nfa;pub use types::Dfa;pub use types::DfaPackFormat;pub use types::Nfa;pub use types::NfaEdge;pub use types::NfaStateId;pub use types::PackedDfa;pub use types::PatternError;pub use types::INVALID_STATE;
Modules§
- cache
- Content-addressed DFA compilation cache (skip the pipeline on repeat calls).
Content-addressed DFA compilation cache for
dfa_assemble. - dfa_
assemble - Composite entry point: patterns → packed GPU DFA in one call. Composite entry point for the vyre-std DFA assembly pipeline.
- dfa_
minimize - Hopcroft’s DFA minimization. Hopcroft’s DFA minimization algorithm.
- dfa_
pack - Transition-table packing for GPU dispatch. Transition-table compression for GPU dispatch.
- nfa_
to_ dfa - Subset-construction NFA → DFA converter. Subset-construction NFA → DFA converter.
- regex_
to_ nfa - Thompson-construction regex → NFA compiler. Thompson-construction regex → NFA compiler.
- types
- Shared types used by every stage of the DFA assembly pipeline. Shared types for the vyre-std DFA assembly pipeline.