Struct SimplificationStats 

pub struct SimplificationStats {
    pub passes: usize,
    pub double_negations: usize,
    pub demorgan_applications: usize,
    pub identities_removed: usize,
    pub inferences_combined: usize,
    pub tautologies_simplified: usize,
    pub nodes_before: usize,
    pub nodes_after: usize,
}

Statistics about simplification operations.

Fields

passes: usize

Number of simplification passes performed

double_negations: usize

Number of double negations simplified

demorgan_applications: usize

Number of De Morgan transformations applied

identities_removed: usize

Number of identity operations removed

inferences_combined: usize

Number of inferences combined

tautologies_simplified: usize

Number of tautologies simplified

nodes_before: usize

Total nodes before simplification

nodes_after: usize

Total nodes after simplification

Implementations

impl SimplificationStats

pub fn total_simplifications(&self) -> usize

Calculate total simplifications applied.

pub fn reduction_ratio(&self) -> f64

Calculate reduction ratio (0.0 = no reduction, 1.0 = complete reduction).

Trait Implementations

impl Clone for SimplificationStats

fn clone(&self) -> SimplificationStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplificationStats

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

Formats the value using the given formatter.

impl Default for SimplificationStats

fn default() -> SimplificationStats

Returns the “default value” for a type.