Struct SimplifyConfig 

pub struct SimplifyConfig {
    pub max_iterations: usize,
    pub expand: bool,
    pub allow_branch_cut_rewrites: bool,
}

Controls how many full bottom-up passes the simplifier may perform.

Fields

max_iterations: usize

Maximum number of full bottom-up passes (default 100).

expand: bool

Whether to distribute multiplication over addition (default false).

When true, the ExpandMul rule is included: (a + b) * c → a*c + b*c. Keep disabled unless explicitly expanding, because expansion can loop against a future factor rule.

allow_branch_cut_rewrites: bool

Allow branch-cut-sensitive rewrites such as log(a*b) → log(a) + log(b).

This identity only holds when a and b are positive reals. Set this flag to true when you know all variables are positive and want the full log/exp rule set; leave it false (the default) for safe behaviour over complex numbers or when sign information is unavailable.

Trait Implementations

impl Clone for SimplifyConfig

fn clone(&self) -> SimplifyConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplifyConfig

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

Formats the value using the given formatter.

impl Default for SimplifyConfig

fn default() -> Self

Returns the “default value” for a type.