Struct QuotientReducer 

pub struct QuotientReducer { /* private fields */ }

A stack-based quotient reduction engine.

Implementations

impl QuotientReducer

pub fn new(max_steps: usize) -> Self

Create a new reducer with the given step limit.

pub fn reduce(&mut self, expr: &Expr) -> (Expr, bool)

Try to reduce an expression. Returns the reduced expression and whether any reduction happened.

pub fn steps(&self) -> &[QuotReductionStep]

Get all recorded reduction steps.

pub fn clear_steps(&mut self)

Clear the step history.

pub fn step_count(&self) -> usize

Number of recorded steps.