Enum PatternNode 

pub enum PatternNode {
    Op {
        op: OpTag,
        operands: Vec<PatternNode>,
        attrs: OpAttrs,
    },
    Bind {
        index: u8,
    },
    SeeThrough {
        then: Box<PatternNode>,
    },
    Any,
}

A node of the §3 declarative subgraph grammar. One type, two directions: a region (Fuel -> synthesizer) populates Op { op, operands, attrs } + Bind; an emitted pattern: (synthesizer -> Fuel) additionally carries the consumer/extract routing the matcher compiler reads. SeeThrough/Any are matcher-only and never appear in a concrete region.

Variants

Op

An op over the OpTag vocabulary with one child per tensor input (ordered, exact arity). attrs carries the scalar slot / load-bearing attributes.

Fields

op: OpTag

operands: Vec<PatternNode>

attrs: OpAttrs

Bind

A leaf: bind the producing node as the fused op’s input[index]. A repeated index is a node-identity guard on a shared input (§3.2); indices across a region MUST equal [0, n_inputs).

Fields

index: u8

SeeThrough

Match the inner node after skipping zero-or-more transparent wrappers (§3.3). Matcher-only.

Fields

then: Box<PatternNode>

Any

Wildcard — matches any single node (§3.4). Matcher-only.

Implementations

impl PatternNode

pub fn bind_indices(&self) -> Vec<u8>

Collect the distinct Bind indices in this tree (a region’s external inputs). Used to validate bind indices form [0, n_inputs).

Trait Implementations

impl Clone for PatternNode

fn clone(&self) -> PatternNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternNode

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

Formats the value using the given formatter.

impl PartialEq for PatternNode

fn eq(&self, other: &PatternNode) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PatternNode