Struct QuotientNormalizer 

pub struct QuotientNormalizer { /* private fields */ }

A normalizer that reduces quotient expressions to normal form.

Repeatedly applies quotient reduction rules until no more apply.

Implementations

impl QuotientNormalizer

pub fn new(max_steps: usize) -> Self

Create a new normalizer.

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

Normalize an expression, returning the result and whether any change occurred.

pub fn steps_taken(&self) -> usize

Number of steps taken.

pub fn reset(&mut self)

Reset the step counter.