Struct OutputBudget 

pub struct OutputBudget {
    pub eps_math: f64,
    pub terms: Vec<ErrorTerm>,
}

The per-output budget: eps_math is the outward-rounded sum of terms, pinned by recheck.

Fields

eps_math: f64

terms: Vec<ErrorTerm>

Implementations

impl OutputBudget

pub fn recheck(&self) -> bool

Deterministic replay: the total must be EXACTLY the outward-rounded sum of the itemized terms, every term finite and non-negative. A dropped or edited term changes the sum and fails — the tamper probe below proves it.

pub fn with_term_removed(&self, idx: usize) -> OutputBudget

Tamper probe: the budget with term idx removed (total left untouched) — recheck on the result must fail unless the removed term was exactly absorbed by rounding.

Trait Implementations

impl Clone for OutputBudget

fn clone(&self) -> OutputBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OutputBudget

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

Formats the value using the given formatter.

impl PartialEq for OutputBudget

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OutputBudget