Struct EquivManagerStats 

pub struct EquivManagerStats {
    pub checks: u64,
    pub hits: u64,
    pub merges: u64,
    pub classes: usize,
}

Statistics for the equivalence manager.

Fields

checks: u64

Number of equivalence checks performed.

hits: u64

Number of cache hits.

merges: u64

Number of merges performed.

classes: usize

Number of distinct equivalence classes remaining.

Implementations

impl EquivManagerStats

pub fn new() -> Self

Creates zeroed stats.

pub fn hit_rate(&self) -> f64

Returns the cache hit rate (0.0–1.0).

Trait Implementations

impl Default for EquivManagerStats

fn default() -> Self

Returns the “default value” for a type.