Struct DefEqStats 

pub struct DefEqStats {
    pub cache_hits: u64,
    pub cache_misses: u64,
    pub reduction_steps: u64,
    pub delta_reductions: u64,
    pub beta_reductions: u64,
    pub eta_attempts: u64,
    pub equiv_hits: u64,
}

Statistics for a DefEq check run.

Fields

cache_hits: u64

Number of cache hits.

cache_misses: u64

Number of cache misses.

reduction_steps: u64

Number of reduction steps taken.

delta_reductions: u64

Number of successful delta reductions.

beta_reductions: u64

Number of beta reductions.

eta_attempts: u64

Number of eta expansions tried.

equiv_hits: u64

Number of equiv-manager hits.

Implementations

impl DefEqStats

pub fn cache_hit_rate(&self) -> f64

Compute the cache hit rate in [0, 1].

pub fn total_cache_accesses(&self) -> u64

Compute total number of cache accesses.

pub fn total_reductions(&self) -> u64

Compute total number of reductions across all kinds.

Trait Implementations

impl Clone for DefEqStats

fn clone(&self) -> DefEqStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefEqStats

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

Formats the value using the given formatter.

impl Default for DefEqStats

fn default() -> DefEqStats

Returns the “default value” for a type.