Struct PathExtractionRequest 

pub struct PathExtractionRequest<'a> {
    pub seed: &'a PathSeed,
    pub source_reach: &'a [u32],
    pub sanitizer_mask: &'a [u32],
}

One prepared witness extraction request.

source_reach is intentionally per request because witness soundness requires a per-source reachability mask. Aggregating masks across sources can produce a path that starts at the wrong source.

Fields

seed: &'a PathSeed

Source/sink pair to explain.

source_reach: &'a [u32]

Per-source reachability mask for seed.source_node.

sanitizer_mask: &'a [u32]

Per-rule sanitizer mask. Empty means the rule has no sanitizers.

Trait Implementations

impl<'a> Clone for PathExtractionRequest<'a>

fn clone(&self) -> PathExtractionRequest<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for PathExtractionRequest<'a>

impl<'a> Debug for PathExtractionRequest<'a>

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

Formats the value using the given formatter.