Struct ReducerStats 

pub struct ReducerStats {
    pub whnf_calls: u64,
    pub cache_hits: u64,
    pub beta_count: u64,
    pub delta_count: u64,
    pub iota_count: u64,
    pub zeta_count: u64,
    pub nat_lit_count: u64,
}

Statistics about reduction performance.

Fields

whnf_calls: u64

Number of WHNF calls.

cache_hits: u64

Number of cache hits.

beta_count: u64

Number of beta reductions performed.

delta_count: u64

Number of delta reductions performed.

iota_count: u64

Number of iota reductions performed.

zeta_count: u64

Number of zeta reductions performed.

nat_lit_count: u64

Number of nat literal reductions.

Implementations

impl ReducerStats

pub fn total_reductions(&self) -> u64

Compute the total reduction count.

pub fn cache_hit_rate(&self) -> f64

Cache hit rate as a fraction.

pub fn display(&self) -> String

Pretty-print the stats.

Trait Implementations

impl Clone for ReducerStats

fn clone(&self) -> ReducerStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReducerStats

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

Formats the value using the given formatter.

impl Default for ReducerStats

fn default() -> ReducerStats

Returns the “default value” for a type.