Struct PipelineStats 

pub struct PipelineStats {
    pub total_iterations: usize,
    pub negation: NegationOptStats,
    pub constant_folding: ConstantFoldingStats,
    pub algebraic: AlgebraicSimplificationStats,
    pub strength_reduction: StrengthReductionStats,
    pub distributivity: DistributivityStats,
    pub quantifier_opt: QuantifierOptStats,
    pub dead_code: DeadCodeStats,
    pub iterations: Vec<IterationStats>,
    pub reached_fixed_point: bool,
    pub stopped_at_max_iterations: bool,
}

Cumulative statistics from all pipeline iterations.

Fields

total_iterations: usize

Total number of iterations performed

negation: NegationOptStats

Negation optimization statistics (accumulated)

constant_folding: ConstantFoldingStats

Constant folding statistics (accumulated)

algebraic: AlgebraicSimplificationStats

Algebraic simplification statistics (accumulated)

strength_reduction: StrengthReductionStats

Strength reduction statistics (accumulated)

distributivity: DistributivityStats

Distributivity optimization statistics (accumulated)

quantifier_opt: QuantifierOptStats

Quantifier optimization statistics (accumulated)

dead_code: DeadCodeStats

Dead code elimination statistics (accumulated)

iterations: Vec<IterationStats>

Statistics per iteration

reached_fixed_point: bool

Whether the pipeline reached a fixed point

stopped_at_max_iterations: bool

Whether the pipeline was stopped due to max iterations

Implementations

impl PipelineStats

pub fn total_optimizations(&self) -> usize

Get total number of optimizations applied across all iterations.

pub fn most_productive_iteration(&self) -> Option<(usize, &IterationStats)>

Get the most productive iteration (one with most optimizations).

Trait Implementations

impl Clone for PipelineStats

fn clone(&self) -> PipelineStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PipelineStats

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

Formats the value using the given formatter.

impl Default for PipelineStats

fn default() -> PipelineStats

Returns the “default value” for a type.

impl Display for PipelineStats

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

Formats the value using the given formatter.