Struct DeadCodeStats 

pub struct DeadCodeStats {
    pub branches_eliminated: usize,
    pub short_circuits: usize,
    pub unused_quantifiers_removed: usize,
    pub identity_simplifications: usize,
    pub total_processed: usize,
}

Statistics from dead code elimination.

Fields

branches_eliminated: usize

Number of conditional branches eliminated

short_circuits: usize

Number of short-circuit evaluations applied

unused_quantifiers_removed: usize

Number of unused quantifiers removed

identity_simplifications: usize

Number of identity expressions simplified

total_processed: usize

Total expressions processed

Implementations

impl DeadCodeStats

pub fn total_optimizations(&self) -> usize

Get total number of optimizations applied.

Trait Implementations

impl Clone for DeadCodeStats

fn clone(&self) -> DeadCodeStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeadCodeStats

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

Formats the value using the given formatter.

impl Default for DeadCodeStats

fn default() -> DeadCodeStats

Returns the “default value” for a type.