Struct EquivStats 

pub struct EquivStats {
    pub total_queries: u64,
    pub equiv_hits: u64,
    pub failure_hits: u64,
    pub cache_misses: u64,
    pub equiv_additions: u64,
    pub failure_additions: u64,
}

Statistics about the equivalence manager usage.

Fields

total_queries: u64

Total queries performed.

equiv_hits: u64

Queries that hit the equiv cache.

failure_hits: u64

Queries that hit the failure cache.

cache_misses: u64

Queries that required computation.

equiv_additions: u64

Number of times add_equiv was called.

failure_additions: u64

Number of times add_failure was called.

Implementations

impl EquivStats

pub fn new() -> Self

Create new zeroed statistics.

pub fn record_equiv_hit(&mut self)

Record a cache hit on the equiv set.

pub fn record_failure_hit(&mut self)

Record a cache hit on the failure set.

pub fn record_miss(&mut self)

Record a cache miss.

pub fn record_equiv_addition(&mut self)

Record an addition.

pub fn record_failure_addition(&mut self)

Record a failure addition.

pub fn hit_rate(&self) -> f64

Compute the cache hit rate.

Trait Implementations

impl Clone for EquivStats

fn clone(&self) -> EquivStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EquivStats

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

Formats the value using the given formatter.

impl Default for EquivStats

fn default() -> EquivStats

Returns the “default value” for a type.