Struct GraphRewriteRule 

pub struct GraphRewriteRule {
    pub name: String,
    pub pattern: GraphPattern,
    pub rewriter: fn(&EinsumGraph, &PatternMatch) -> Result<Vec<EinsumNode>, IrError>,
    pub priority: i32,
}

A rewrite rule that transforms matched patterns

Fields

name: String

Name of this rule for debugging

pattern: GraphPattern

Pattern to match

rewriter: fn(&EinsumGraph, &PatternMatch) -> Result<Vec<EinsumNode>, IrError>

Function to apply the rewrite

priority: i32

Priority (higher = applied first)

Implementations

impl GraphRewriteRule

pub fn new( name: impl Into<String>, pattern: GraphPattern, rewriter: fn(&EinsumGraph, &PatternMatch) -> Result<Vec<EinsumNode>, IrError>, ) -> Self

Create a new rewrite rule

pub fn with_priority(self, priority: i32) -> Self

Set the priority of this rule

Trait Implementations

impl Clone for GraphRewriteRule

fn clone(&self) -> GraphRewriteRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GraphRewriteRule

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

Formats the value using the given formatter.