Struct CompiledRegexSet 

pub struct CompiledRegexSet {
    pub plan: NfaPlan,
    pub transition_table: Vec<u32>,
    pub epsilon_table: Vec<u32>,
    pub pattern_extents: Vec<RegexPatternExtent>,
    pub captures_present: bool,
}

Output of compile_regex_set - same triple shape as the literal nfa::compile returns plus the GPU side-tables nfa::nfa_scan expects, so consumers can plug this into ScanProgram without changing the dispatch path.

Fields

plan: NfaPlan

State graph + accept-state metadata.

transition_table: Vec<u32>

Lane-major byte→bitset transition table: [num_states × 256 × LANES_PER_SUBGROUP] u32s.

epsilon_table: Vec<u32>

Lane-major epsilon (free) transition table: [num_states × LANES_PER_SUBGROUP] u32s.

pattern_extents: Vec<RegexPatternExtent>

Per-pattern accepted extent and finite accelerator replay budget.

max_bytes == None makes the truncation boundary explicit for an open-ended regex rather than presenting its minimum as a false maximum.

captures_present: bool

true when at least one source pattern contained a capture group.

The GPU NFA is a WHOLE-MATCH multimatch engine: it accelerates the match decision but does NOT prove submatch (capture) spans, capture groups are stripped during lowering (whole-match still compiles and runs correctly). A consumer that needs submatch offsets must route these patterns to the scalar verifier; this flag is the distinct signal for the VYRE_SCAN_CAPTURE_EXTRACTION_REQUIRES_VERIFIER diagnostic (see regex_construct_diagnostic_code) WITHOUT rejecting the pattern (making captures a compile error would regress whole-match acceleration).

Implementations

impl CompiledRegexSet

pub fn capture_extraction_diagnostic_code(&self) -> Option<&'static str>

The REGEX_UNSUPPORTED_DIAGNOSTICS.toml code a consumer routes on when it needs submatch (capture) spans this whole-match GPU engine does not prove, or None when the compiled set has no capture groups.

This is NOT an error: the set compiled and scans correctly for the whole-match decision. The code tells a consumer that wants capture offsets to run the scalar capture verifier for these patterns.

Trait Implementations

impl Clone for CompiledRegexSet

fn clone(&self) -> CompiledRegexSet

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompiledRegexSet

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.