Struct SaturationConfig 

pub struct SaturationConfig {
    pub node_budget: usize,
    pub iteration_limit: usize,
    pub time_limit_us: u64,
    pub memory_limit: usize,
}

Configuration for equality saturation.

Fields

node_budget: usize

Maximum number of e-graph nodes before stopping.

iteration_limit: usize

Maximum number of rewrite iterations.

time_limit_us: u64

Maximum time in microseconds (0 = unlimited).

memory_limit: usize

Maximum memory in bytes (0 = unlimited, default 10MB).

Implementations

impl SaturationConfig

pub fn from_env() -> Self

Create a config from environment variables, falling back to defaults.

Reads:

• FRANKENTUI_EGRAPH_NODE_BUDGET — max nodes (default 10000)
• FRANKENTUI_EGRAPH_TIMEOUT_MS — timeout in ms (default 5)
• FRANKENTUI_EGRAPH_MAX_ITERS — max iterations (default 100)
• FRANKENTUI_EGRAPH_MEMORY_MB — max memory in MB (default 10)

Trait Implementations

impl Clone for SaturationConfig

fn clone(&self) -> SaturationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SaturationConfig

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

Formats the value using the given formatter.

impl Default for SaturationConfig

fn default() -> Self

Returns the “default value” for a type.