Struct QuotStats 

pub struct QuotStats {
    pub mk_count: usize,
    pub lift_count: usize,
    pub ind_count: usize,
    pub sound_count: usize,
}

Statistics about quotient usage in an expression.

Fields

mk_count: usize

Total Quot.mk applications found.

lift_count: usize

Total Quot.lift applications found.

ind_count: usize

Total Quot.ind applications found.

sound_count: usize

Total Quot.sound applications found.

Implementations

impl QuotStats

pub fn compute(expr: &Expr) -> Self

Compute statistics for an expression.

pub fn total(&self) -> usize

Total number of quotient-related subterms.

pub fn has_quot(&self) -> bool

Check whether any quotient terms appear.

Trait Implementations

impl Clone for QuotStats

fn clone(&self) -> QuotStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuotStats

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

Formats the value using the given formatter.

impl Default for QuotStats

fn default() -> QuotStats

Returns the “default value” for a type.