Struct ReductionStep 

pub struct ReductionStep {
    pub step: usize,
    pub phase: ReductionPhase,
    pub children_before: usize,
    pub children_after: usize,
    pub accepted: bool,
}

A single reduction step recorded during logged minimization.

Fields

step: usize

Step number (0-indexed).

phase: ReductionPhase

What phase produced this step.

children_before: usize

Number of children before this step.

children_after: usize

Number of children after this step.

accepted: bool

Whether the predicate held (and the reduction was accepted).

Trait Implementations

impl Clone for ReductionStep

fn clone(&self) -> ReductionStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionStep

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

Formats the value using the given formatter.