Struct EgraphConfig 

pub struct EgraphConfig {
    pub shrink_iters: usize,
    pub explore_iters: usize,
    pub const_fold_iters: usize,
    pub node_limit: Option<usize>,
    pub iter_limit: Option<usize>,
    pub include_trig_rules: bool,
    pub include_log_exp_rules: bool,
}

Configuration for the e-graph schedule and extraction strategy.

Pass to simplify_egraph_with to customise iteration counts and resource limits.

Rule flags

By default both include_trig_rules and include_log_exp_rules are true, so simplify_egraph reduces sin²(x)+cos²(x)→1 and exp(log(x))→x without any extra configuration. Set either flag to false to suppress the corresponding rule set (useful when you need to benchmark rule impact or avoid domain-sensitive rewrites).

Fields

shrink_iters: usize

Saturation iterations in the shrinking phase. Default 5.

explore_iters: usize

Saturation iterations in the exploring phase. Default 3.

const_fold_iters: usize

Constant-folding iterations appended after each phase. Default 3.

node_limit: Option<usize>

Abort if the e-graph exceeds this many nodes. None = unlimited.

iter_limit: Option<usize>

Per-ruleset iteration cap passed to egglog’s scheduler. None = unlimited.

include_trig_rules: bool

Include the Pythagorean trig identity (sin²+cos²→1) in the explore phase. Default true.

include_log_exp_rules: bool

Include exp/log cancellation (exp(log(x))→x, log(exp(x))→x) in the explore phase. Default true.

Trait Implementations

impl Clone for EgraphConfig

fn clone(&self) -> EgraphConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EgraphConfig

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

Formats the value using the given formatter.

impl Default for EgraphConfig

fn default() -> Self

Returns the “default value” for a type.