Struct Tolerance 

pub struct Tolerance {
    pub atol: Option<f64>,
    pub rtol: Option<f64>,
    pub factor: Option<f64>,
}

The acceptance rule of a measured value $v$ against an expected value $e$: $|v - e| \le a + r |e|$ (with atol $a$ or rtol $r$), or $e/f \le v \le f e$ (with factor $f$, for error rates over several decades); either rule suffices.

Fields

atol: Option<f64>

Absolute tolerance.

rtol: Option<f64>

Tolerance relative to the expected value.

factor: Option<f64>

Factor, at least 1.

Implementations

impl Tolerance

pub fn is_set(&self) -> bool

Whether a rule is given.

pub fn accepts(&self, v: f64, e: f64) -> bool

Whether v is accepted for e.

Examples

use comnum_spec::verify::Tolerance;
let t = Tolerance { factor: Some(2.0), ..Tolerance::default() };
assert!(t.accepts(1.9e-3, 1e-3) && !t.accepts(2.1e-3, 1e-3));

Trait Implementations

impl Clone for Tolerance

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Tolerance

impl Debug for Tolerance

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

Formats the value using the given formatter.

impl Default for Tolerance

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Tolerance

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Tolerance

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Tolerance