Struct RewriteStats 

pub struct RewriteStats {
    pub steps: usize,
    pub rule_applications: usize,
    pub rule_counts: HashMap<String, usize>,
    pub reached_fixpoint: bool,
    pub cycle_detected: bool,
    pub size_limit_exceeded: bool,
    pub initial_size: usize,
    pub final_size: usize,
}

Statistics about a rewriting session.

Fields

steps: usize

Total number of rewrite steps performed

rule_applications: usize

Number of successful rule applications

rule_counts: HashMap<String, usize>

Per-rule application counts

reached_fixpoint: bool

Whether a fixpoint was reached

cycle_detected: bool

Whether cycle detection triggered

size_limit_exceeded: bool

Whether size limit was exceeded

initial_size: usize

Initial expression size

final_size: usize

Final expression size

Implementations

impl RewriteStats

pub fn reduction_percentage(&self) -> f64

Get reduction percentage (negative means expression grew).

pub fn is_successful(&self) -> bool

Check if rewriting was successful (reached fixpoint without issues).

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.