Skip to main content

Module pattern

Module pattern 

Source
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 → PackedDfa

Aho-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.