Struct SaturationResult 

pub struct SaturationResult {
    pub rewrites: usize,
    pub iterations: usize,
    pub saturated: bool,
    pub stopped_early: bool,
    pub node_count: usize,
    pub guard: GuardTriggered,
    pub time_us: u64,
    pub memory_bytes: usize,
}

Result of an equality saturation run.

Fields

rewrites: usize

Total number of rule applications.

iterations: usize

Number of iterations completed.

saturated: bool

Whether saturation completed (all rules exhausted).

stopped_early: bool

Whether the run was stopped due to budget/timeout.

node_count: usize

Final node count.

guard: GuardTriggered

Which guard triggered early stop (if any).

time_us: u64

Time spent in microseconds.

memory_bytes: usize

Memory usage in bytes at completion.

Trait Implementations

impl Clone for SaturationResult

fn clone(&self) -> SaturationResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SaturationResult

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

Formats the value using the given formatter.