Struct ReductionStats 

pub struct ReductionStats {
    pub beta_steps: usize,
    pub delta_steps: usize,
    pub let_steps: usize,
    pub proj_steps: usize,
    pub total_steps: usize,
    pub aborted: bool,
}

Statistics about reduction.

Fields

beta_steps: usize

Number of beta reductions performed.

delta_steps: usize

Number of delta unfoldings performed.

let_steps: usize

Number of let reductions performed.

proj_steps: usize

Number of projection reductions performed.

total_steps: usize

Total number of steps.

aborted: bool

Whether the reduction was aborted.

Implementations

impl ReductionStats

pub fn new() -> Self

Create new empty statistics.

pub fn total(&self) -> usize

Get the total number of steps.

pub fn any_reductions(&self) -> bool

Returns true if any reductions were performed.

pub fn summary(&self) -> String

Returns a formatted summary.

Trait Implementations

impl Clone for ReductionStats

fn clone(&self) -> ReductionStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionStats

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

Formats the value using the given formatter.

impl Default for ReductionStats

fn default() -> ReductionStats

Returns the “default value” for a type.