Struct SubstStats 

pub struct SubstStats {
    pub bvar_hits: usize,
    pub bvar_misses: usize,
    pub fvar_hits: usize,
    pub nodes_visited: usize,
}

Profiling counters for substitution operations.

Fields

bvar_hits: usize

Number of successful BVar hits.

bvar_misses: usize

Number of BVar misses.

fvar_hits: usize

Number of FVar substitutions performed.

nodes_visited: usize

Number of nodes visited in total.

Implementations

impl SubstStats

pub fn merge(&mut self, other: &SubstStats)

Merge another stats record into self.

pub fn total_substs(&self) -> usize

Total substitutions performed.

Trait Implementations

impl Clone for SubstStats

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubstStats

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

Formats the value using the given formatter.

impl Default for SubstStats

fn default() -> Self

Returns the “default value” for a type.

impl Eq for SubstStats

impl PartialEq for SubstStats

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SubstStats