Struct BetaReducer 

pub struct BetaReducer { /* private fields */ }

A β-reducer with configurable strategy and step budget.

Implementations

impl BetaReducer

pub fn new(strategy: Strategy, max_steps: usize) -> Self

Create a new reducer with the given strategy and step limit.

pub fn reduce(&self, term: &Term) -> (Term, usize, bool)

Reduce the term to normal form under the configured strategy. Returns (result, steps_taken, converged).

pub fn is_normal_form(&self, term: &Term) -> bool

Check if a term is already in normal form under this strategy.

pub fn count_steps(&self, term: &Term) -> Option<usize>

Count reduction steps without storing intermediate terms.