Enum Commutativity 

pub enum Commutativity {
    Positional,
    AllCommutative,
    Groups(Vec<Vec<usize>>),
}

Declares which inputs of a node are interchangeable.

Used by the fusion pattern matcher to recognize equivalent subgraphs regardless of operand order, and by future passes (e.g., canonical ordering, common subexpression elimination).

Variants

Positional

Input order matters. No permutations attempted during pattern matching. This is the default for unary nodes and any node where operand order affects the result.

Examples: mod(dividend, divisor), div(x, K), concat(left, right), sub(a, b).

AllCommutative

All inputs are interchangeable, including variadic. For small arity (2-3), the matcher tries all permutations. For larger arity, it uses set-matching.

Examples: sum(a, b, ..., n), product(a, b, ..., n), min(a, b, ..., n), max(a, b, ..., n).

Groups(Vec<Vec<usize>>)

Specific groups of input port indices are interchangeable within each group. Inputs not listed in any group are positional.

Example: fma(x, y, z) = x + y * z The multiplicands y (index 1) and z (index 2) commute, but the addend x (index 0) does not. Groups(vec![vec![1, 2]])

Trait Implementations

impl Clone for Commutativity

fn clone(&self) -> Commutativity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Commutativity

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

Formats the value using the given formatter.

impl Default for Commutativity

fn default() -> Commutativity

Returns the “default value” for a type.

impl Eq for Commutativity

impl PartialEq for Commutativity

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Commutativity