Struct Interval 

pub struct Interval {
    pub lo: f64,
    pub hi: f64,
}

A closed real interval [lo, hi] used for validated/verified computation.

Fields

lo: f64

hi: f64

Implementations

impl Interval

pub fn new(lo: f64, hi: f64) -> Self

Construct the interval [lo, hi]. Panics if lo > hi.

pub fn point(x: f64) -> Self

Construct a point interval [x, x].

pub fn add(self, other: Self) -> Self

Interval addition: [a,b] + [c,d] = [a+c, b+d].

pub fn sub(self, other: Self) -> Self

Interval subtraction: [a,b] - [c,d] = [a-d, b-c].

pub fn mul(self, other: Self) -> Self

Interval multiplication (all four products, take min/max).

pub fn width(self) -> f64

Interval width hi - lo.

pub fn mid(self) -> f64

Midpoint of the interval.

pub fn contains(self, x: f64) -> bool

Check whether a real value is contained in [lo, hi].

pub fn sqrt(self) -> Self

Interval enclosure of sqrt (valid for non-negative intervals).

Trait Implementations

impl Clone for Interval

fn clone(&self) -> Interval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Interval

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

Formats the value using the given formatter.

impl PartialEq for Interval

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

impl StructuralPartialEq for Interval