Skip to main content

IterationStats

tensorlogic_compiler::optimize::pipeline

Struct IterationStats

pub struct IterationStats {
    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,
}

Expand description

Statistics from a single pipeline iteration.

Fields§

§negation: NegationOptStats

Negation optimization statistics

§constant_folding: ConstantFoldingStats

Constant folding statistics

§algebraic: AlgebraicSimplificationStats

Algebraic simplification statistics

§strength_reduction: StrengthReductionStats

Strength reduction statistics

§distributivity: DistributivityStats

Distributivity optimization statistics

§quantifier_opt: QuantifierOptStats

Quantifier optimization statistics

§dead_code: DeadCodeStats

Dead code elimination statistics

Implementations§

impl IterationStats

pub fn made_changes(&self) -> bool

Check if this iteration made any changes.

pub fn total_optimizations(&self) -> usize

Get total number of optimizations applied in this iteration.

Trait Implementations§

impl Clone for IterationStats

fn clone(&self) -> IterationStats

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for IterationStats

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

Formats the value using the given formatter. Read more

impl Default for IterationStats

fn default() -> IterationStats

Returns the “default value” for a type. Read more

Auto Trait Implementations§

impl Freeze for IterationStats

impl RefUnwindSafe for IterationStats

impl Send for IterationStats

impl Sync for IterationStats

impl Unpin for IterationStats

impl UnwindSafe for IterationStats

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.