Struct Interval 

pub struct Interval { /* private fields */ }

A closed interval [lo, hi] certainly containing a true real value.

Implementations

impl Interval

pub const fn point(value: f64) -> Self

The degenerate interval holding one exactly-represented value.

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

An interval from stated bounds. Panics if lo > hi or either is NaN, because such an “enclosure” encloses nothing.

pub fn about(value: f64, radius: f64) -> Self

A value with a symmetric absolute uncertainty.

pub const fn lo(&self) -> f64

The lower bound.

pub const fn hi(&self) -> f64

The upper bound.

pub fn width(&self) -> f64

The width of the enclosure.

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

Whether the enclosure contains value.

pub fn certain_sign(&self) -> Option<Sign>

The sign of the true value, where the bounds decide it: None means zero lies inside the enclosure and floating point genuinely cannot tell, which is an answer, not a failure.

pub const fn neg(&self) -> Self

The negation, exact; negation never rounds.

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

The sum.

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

The difference.

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

The product: the extremes over the four bound products, widened.

pub fn square(&self) -> Self

The square, tighter than mul with itself, because a square cannot be negative even when the interval straddles zero.

pub fn abs(&self) -> Self

The absolute value, exact.

pub fn sqrt(&self) -> Option<Self>

The square root, for enclosures of non-negative values. A lower bound pushed below zero by widening is clamped; the true value it encloses was non-negative. An interval entirely below zero has no real root and returns None.

pub fn checked_div(&self, other: &Self) -> Option<Self>

The quotient, defined only when the divisor certainly excludes zero.

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 Copy for Interval

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 StructuralPartialEq for Interval