Struct CanonicalStats 

pub struct CanonicalStats {
    pub double_neg_removed: usize,
    pub commutative_sorted: usize,
    pub nested_flattened: usize,
    pub total_rewrites: usize,
}

Statistics from canonicalization.

Fields

double_neg_removed: usize

Number of double negations removed

commutative_sorted: usize

Number of commutative sorts applied

nested_flattened: usize

Number of nested same-op flattened

total_rewrites: usize

Total rewrites performed

Implementations

impl CanonicalStats

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

Merge another stats into this one.

Trait Implementations

impl Clone for CanonicalStats

fn clone(&self) -> CanonicalStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CanonicalStats

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

Formats the value using the given formatter.

impl Default for CanonicalStats

fn default() -> CanonicalStats

Returns the “default value” for a type.

impl Display for CanonicalStats

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

Formats the value using the given formatter.