Struct PipelineConfig 

pub struct PipelineConfig {
    pub enable_negation_opt: bool,
    pub enable_constant_folding: bool,
    pub enable_algebraic_simplification: bool,
    pub enable_strength_reduction: bool,
    pub enable_distributivity: bool,
    pub enable_quantifier_opt: bool,
    pub enable_dead_code_elimination: bool,
    pub max_iterations: usize,
    pub stop_on_fixed_point: bool,
}

Configuration for the optimization pipeline.

Fields

enable_negation_opt: bool

Enable negation optimization pass

enable_constant_folding: bool

Enable constant folding pass

enable_algebraic_simplification: bool

Enable algebraic simplification pass

enable_strength_reduction: bool

Enable strength reduction pass

enable_distributivity: bool

Enable distributivity optimization pass

enable_quantifier_opt: bool

Enable quantifier optimization pass

enable_dead_code_elimination: bool

Enable dead code elimination pass

max_iterations: usize

Maximum number of iterations before stopping

stop_on_fixed_point: bool

Stop early if an iteration makes no changes

Implementations

impl PipelineConfig

pub fn all() -> Self

Create a configuration with all optimizations enabled.

pub fn none() -> Self

Create a configuration with all optimizations disabled.

pub fn constant_folding_only() -> Self

Create a configuration with only constant folding enabled.

pub fn algebraic_only() -> Self

Create a configuration with only algebraic simplification enabled.

pub fn aggressive() -> Self

Create a configuration for aggressive optimization (more iterations).

pub fn with_negation_opt(self, enable: bool) -> Self

Builder method to enable/disable negation optimization.

pub fn with_constant_folding(self, enable: bool) -> Self

Builder method to enable/disable constant folding.

pub fn with_algebraic_simplification(self, enable: bool) -> Self

Builder method to enable/disable algebraic simplification.

pub fn with_max_iterations(self, max: usize) -> Self

Builder method to set maximum iterations.

pub fn with_stop_on_fixed_point(self, stop: bool) -> Self

Builder method to enable/disable fixed-point detection.

pub fn with_strength_reduction(self, enable: bool) -> Self

Builder method to enable/disable strength reduction.

pub fn with_distributivity(self, enable: bool) -> Self

Builder method to enable/disable distributivity optimization.

pub fn with_quantifier_opt(self, enable: bool) -> Self

Builder method to enable/disable quantifier optimization.

pub fn with_dead_code_elimination(self, enable: bool) -> Self

Builder method to enable/disable dead code elimination.

Trait Implementations

impl Clone for PipelineConfig

fn clone(&self) -> PipelineConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PipelineConfig

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

Formats the value using the given formatter.

impl Default for PipelineConfig

fn default() -> Self

Returns the “default value” for a type.