Struct RewriteEngine 

pub struct RewriteEngine { /* private fields */ }

Graph rewriting engine.

Implementations

impl RewriteEngine

pub fn new() -> Self

Create a new rewrite engine.

pub fn add_rule(self, rule: RewriteRule) -> Self

Add a rewrite rule.

pub fn with_strategy(self, strategy: RewriteStrategy) -> Self

Set the rewrite strategy.

pub fn with_verification(self, enabled: bool) -> Self

Enable or disable semantics verification.

pub fn stats(&self) -> &RewriteStats

Get rewrite statistics.

pub fn reset_stats(&mut self)

Reset statistics.

pub fn rewrite_simple( &mut self, node_count: usize, ) -> Result<usize, RewriteError>

Apply rewrites to a simplified graph representation. In a real implementation, this would work with the actual EinsumGraph.

Trait Implementations

impl Default for RewriteEngine

fn default() -> Self

Returns the “default value” for a type.