Struct MatchResult 

pub struct MatchResult {
    pub wires: Vec<(String, WireSource)>,
    pub constants: Vec<(String, Vec<u64>)>,
    pub typed_constants: Vec<(String, Vec<ConstValue>)>,
    pub consumed_nodes: Vec<usize>,
}

The result of a successful pattern match against a subgraph.

Fields

wires: Vec<(String, WireSource)>

Bound wire sources: bind_name → WireSource for each Any leaf.

constants: Vec<(String, Vec<u64>)>

Bound node constants (JIT u64 form): bind_name → jit_constants().

typed_constants: Vec<(String, Vec<ConstValue>)>

Bound typed constants from the slot model. Empty for nodes not yet migrated to slots.

consumed_nodes: Vec<usize>

The set of node indices consumed by this match. These nodes will be removed from the DAG and replaced by the fused node.

Implementations

impl MatchResult

pub fn wire(&self, name: &str) -> &WireSource

Look up a captured wire by binding name.

pub fn const_vec(&self, name: &str) -> &[u64]

Look up captured constants (u64 form) by binding name.

pub fn const_u64(&self, name: &str) -> u64

Look up a single captured constant by binding name.

pub fn typed_consts(&self, name: &str) -> &[ConstValue]

Look up typed constants by binding name.

Trait Implementations

impl Clone for MatchResult

fn clone(&self) -> MatchResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchResult

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

Formats the value using the given formatter.