Struct ReductionTrace 

pub struct ReductionTrace { /* private fields */ }

A reduction trace, collecting applied reduction steps.

Implementations

impl ReductionTrace

pub fn enabled() -> Self

Create an enabled trace.

pub fn disabled() -> Self

Create a disabled (no-op) trace.

pub fn record(&mut self, rule: ReductionRule, before: Expr, after: Expr)

Record a step if tracing is enabled.

pub fn step_count(&self) -> usize

Return the number of recorded steps.

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

Return all recorded steps.

pub fn clear(&mut self)

Clear all recorded steps.

pub fn count_rule(&self, rule: &ReductionRule) -> usize

Count steps by rule kind.

Trait Implementations

impl Debug for ReductionTrace

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

Formats the value using the given formatter.

impl Default for ReductionTrace

fn default() -> ReductionTrace

Returns the “default value” for a type.