Struct RewriteStats 

pub struct RewriteStats {
    pub rules_applied: HashMap<String, u64>,
    pub total_rewrites: u64,
    pub iterations: u32,
    pub nodes_visited: u64,
    pub fixed_point_reached: bool,
}

Accumulated statistics for a rewrite pass (or the full fixed-point loop).

Fields

rules_applied: HashMap<String, u64>

How many times each named rule fired.

total_rewrites: u64

Total number of individual rewrites across all rules and iterations.

iterations: u32

Number of full-tree passes performed.

nodes_visited: u64

Total expression nodes visited (across all passes).

fixed_point_reached: bool

true when the engine stopped because no rule fired (fixed point), false when it stopped because max_iterations was reached.

Implementations

impl RewriteStats

pub fn record_rule(&mut self, rule_name: &str)

Record one application of rule_name, incrementing all counters.

pub fn summary(&self) -> String

Human-readable one-line summary suitable for logging.

Trait Implementations

impl Clone for RewriteStats

fn clone(&self) -> RewriteStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RewriteStats

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

Formats the value using the given formatter.

impl Default for RewriteStats

fn default() -> RewriteStats

Returns the “default value” for a type.

impl Display for RewriteStats

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

Formats the value using the given formatter.