Struct ReducibilityFinding 

pub struct ReducibilityFinding {
    pub reduction: Option<Reduction>,
    pub rule: Option<RuleId>,
    pub improvement: ComplexityDelta,
}

Output of the reducibility analyzer (spec §10.10.2).

Fields

reduction: Option<Reduction>

Some if a rewrite applies; None is the empty finding (no rule fires).

rule: Option<RuleId>

Which rule fired (mirrors reduction.rule if it’s a Rewrite). Useful for logging / diagnostics.

improvement: ComplexityDelta

Asymptotic improvement of the witness over the input.

Trait Implementations

impl Clone for ReducibilityFinding

fn clone(&self) -> ReducibilityFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReducibilityFinding

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

Formats the value using the given formatter.

impl PartialEq for ReducibilityFinding

fn eq(&self, other: &ReducibilityFinding) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ReducibilityFinding