Struct AdvancedRewriteSystem 

pub struct AdvancedRewriteSystem { /* private fields */ }

Advanced rewrite system with sophisticated control flow.

Implementations

impl AdvancedRewriteSystem

pub fn new() -> Self

Create a new advanced rewrite system.

pub fn with_config(config: RewriteConfig) -> Self

Create with custom configuration.

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

Add a rule to the system.

pub fn apply(&mut self, expr: &TLExpr) -> (TLExpr, RewriteStats)

Apply rules to an expression according to the configured strategy.

pub fn rule_statistics(&self) -> Vec<(&str, usize)>

Get statistics for all rules.

pub fn reset_statistics(&mut self)

Reset all rule counters.

Trait Implementations

impl Default for AdvancedRewriteSystem

fn default() -> Self

Returns the “default value” for a type.