Struct RelaxClaim 

pub struct RelaxClaim {
    pub a: Vec<Vec<Rational>>,
    pub b: Vec<Rational>,
    pub x_hat: Vec<Rational>,
    pub eps: Rational,
}

The neutral claim a settling run emits. Everything exact; nothing trusted.

Fields

a: Vec<Vec<Rational>>

The system matrix, row-major, n×n.

b: Vec<Rational>

The right-hand side, length n.

x_hat: Vec<Rational>

The settled readout, length n.

eps: Rational

The declared bound: ‖A·x̂ − b‖∞ ≤ eps.

Trait Implementations

impl Clone for RelaxClaim

fn clone(&self) -> RelaxClaim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelaxClaim

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

Formats the value using the given formatter.

impl PartialEq for RelaxClaim

fn eq(&self, other: &RelaxClaim) -> 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 RelaxClaim