Struct ReductionTrace 

pub struct ReductionTrace {
    pub steps: Vec<ReductionStep>,
    pub reached_normal: bool,
    pub truncated: bool,
}

A full trace of reduction steps.

Fields

steps: Vec<ReductionStep>

The steps in order.

reached_normal: bool

Whether the trace reached a normal form.

truncated: bool

Whether the trace was truncated (too many steps).

Implementations

impl ReductionTrace

pub fn new() -> Self

Create a new empty trace.

pub fn len(&self) -> usize

Get the number of steps in the trace.

pub fn is_empty(&self) -> bool

Returns true if the trace has no steps.

pub fn final_expr(&self) -> Option<&Expr>

Get the final expression (after all reductions).

Trait Implementations

impl Clone for ReductionTrace

fn clone(&self) -> ReductionTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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.