Struct BetaStats 

pub struct BetaStats {
    pub total_reductions: u64,
    pub max_depth: u32,
    pub fuel_exhaustions: u64,
}

Statistics about beta reduction.

Fields

total_reductions: u64

Total number of reductions performed.

max_depth: u32

Maximum nesting depth encountered.

fuel_exhaustions: u64

Number of times fuel was exhausted.

Implementations

impl BetaStats

pub fn new() -> Self

Create new zeroed statistics.

pub fn record_reduction(&mut self)

Record a reduction step.

pub fn record_fuel_exhaustion(&mut self)

Record a fuel exhaustion.

pub fn update_depth(&mut self, depth: u32)

Update max depth.

Trait Implementations

impl Clone for BetaStats

fn clone(&self) -> BetaStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BetaStats

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

Formats the value using the given formatter.

impl Default for BetaStats

fn default() -> BetaStats

Returns the “default value” for a type.