Struct QuantifierOptStats 

pub struct QuantifierOptStats {
    pub invariants_hoisted: usize,
    pub quantifiers_reordered: usize,
    pub quantifiers_fused: usize,
    pub total_processed: usize,
}

Statistics from quantifier optimization.

Fields

invariants_hoisted: usize

Number of loop-invariant expressions hoisted

quantifiers_reordered: usize

Number of quantifier pairs reordered

quantifiers_fused: usize

Number of quantifiers fused

total_processed: usize

Total expressions processed

Implementations

impl QuantifierOptStats

pub fn total_optimizations(&self) -> usize

Get total number of optimizations applied.

Trait Implementations

impl Clone for QuantifierOptStats

fn clone(&self) -> QuantifierOptStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuantifierOptStats

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

Formats the value using the given formatter.

impl Default for QuantifierOptStats

fn default() -> QuantifierOptStats

Returns the “default value” for a type.