vyre-std 0.1.0

Vyre standard library: GPU DFA assembly pipeline, Aho-Corasick construction, and compositional arithmetic helpers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

//! Pattern matching operations.
//!
//! The pattern family holds the vyre-std DFA assembly pipeline:
//!
//! ```text
//! 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.

/// Shared types used by every stage of the DFA assembly pipeline.
pub mod types;

/// Thompson-construction regex → NFA compiler.
pub mod regex_to_nfa;

/// Subset-construction NFA → DFA converter.
pub mod nfa_to_dfa;

/// Hopcroft's DFA minimization.
pub mod dfa_minimize;

/// Transition-table packing for GPU dispatch.
pub mod dfa_pack;

/// Composite entry point: patterns → packed GPU DFA in one call.
pub mod dfa_assemble;

/// Content-addressed DFA compilation cache (skip the pipeline on repeat calls).
pub mod cache;

pub use dfa_assemble::{dfa_assemble, AssembleOptions, Pattern};
pub use dfa_minimize::dfa_minimize;
pub use dfa_pack::{dfa_pack, dfa_unpack};
pub use nfa_to_dfa::nfa_to_dfa;
pub use regex_to_nfa::regex_to_nfa;
pub use types::{
    Dfa, DfaPackFormat, Nfa, NfaEdge, NfaStateId, PackedDfa, PatternError, INVALID_STATE,
};