Struct GreedyRewriteDriverConfig 

pub struct GreedyRewriteDriverConfig { /* private fields */ }

Configuration for the greedy rewrite driver.

Implementations

impl GreedyRewriteDriverConfig

pub fn new() -> Self

Creates a greedy rewrite driver configuration with default settings.

pub fn set_max_iterations(&self, max: i64)

Sets the maximum number of iterations. Use -1 for no limit.

pub fn max_iterations(&self) -> i64

Returns the maximum number of iterations.

pub fn set_max_num_rewrites(&self, max: i64)

Sets the maximum number of rewrites per iteration. Use -1 for no limit.

pub fn max_num_rewrites(&self) -> i64

Returns the maximum number of rewrites per iteration.

pub fn set_use_top_down_traversal(&self, enabled: bool)

Sets whether to use top-down traversal.

pub fn use_top_down_traversal(&self) -> bool

Returns whether top-down traversal is enabled.

pub fn enable_folding(&self, enabled: bool)

Enables or disables folding during greedy rewriting.

pub fn is_folding_enabled(&self) -> bool

Returns whether folding is enabled.

pub fn set_strictness(&self, strictness: GreedyRewriteStrictness)

Sets the strictness level.

pub fn strictness(&self) -> GreedyRewriteStrictness

Returns the strictness level.

pub fn set_region_simplification_level(&self, level: GreedySimplifyRegionLevel)

Sets the region simplification level.

pub fn region_simplification_level(&self) -> GreedySimplifyRegionLevel

Returns the region simplification level.

pub fn enable_constant_cse(&self, enabled: bool)

Enables or disables constant CSE.

pub fn is_constant_cse_enabled(&self) -> bool

Returns whether constant CSE is enabled.

pub const fn to_raw(&self) -> MlirGreedyRewriteDriverConfig

Converts the config into a raw object.

Trait Implementations

impl Default for GreedyRewriteDriverConfig

fn default() -> Self

Returns the “default value” for a type.

impl Drop for GreedyRewriteDriverConfig

fn drop(&mut self)

Executes the destructor for this type.