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) -> SubstStats

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() -> SubstStats

Returns the “default value” for a type.

impl PartialEq for SubstStats

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SubstStats

impl StructuralPartialEq for SubstStats