Struct RewriteConfig 

pub struct RewriteConfig {
    pub max_steps: usize,
    pub strategy: RewriteStrategy,
    pub detect_cycles: bool,
    pub trace: bool,
    pub max_expr_size: Option<usize>,
}

Configuration for the advanced rewrite system.

Fields

max_steps: usize

Maximum number of rewrite steps before termination

strategy: RewriteStrategy

Strategy for rule application

detect_cycles: bool

Enable termination detection

trace: bool

Enable detailed tracing

max_expr_size: Option<usize>

Maximum expression size to prevent exponential blowup

Trait Implementations

impl Clone for RewriteConfig

fn clone(&self) -> RewriteConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RewriteConfig

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

Formats the value using the given formatter.

impl Default for RewriteConfig

fn default() -> Self

Returns the “default value” for a type.