Struct FbbtReport 

pub struct FbbtReport {
    pub iterations: usize,
    pub bound_updates: usize,
    pub infeasibility_witness: Option<usize>,
    pub total_tightening: f64,
}

What the orchestrator did.

Fields

iterations: usize

Number of outer sweeps actually executed (≤ cfg.max_iter).

bound_updates: usize

Total number of (variable, bound) tightening events across all sweeps and all constraints.

infeasibility_witness: Option<usize>

Index of the constraint that proved infeasibility, if any. When set, the variable bounds in the caller’s arrays are undefined and must not be trusted.

total_tightening: f64

Sum of absolute bound improvements across all updates — for reporting, not part of the algorithm.

Trait Implementations

impl Clone for FbbtReport

fn clone(&self) -> FbbtReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FbbtReport

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

Formats the value using the given formatter.

impl Default for FbbtReport

fn default() -> FbbtReport

Returns the “default value” for a type.

impl PartialEq for FbbtReport

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FbbtReport