Struct Interval

pub struct Interval { /* private fields */ }

A closed interval [lo, hi] known to contain the true value.

Implementations

impl Interval

pub const WHOLE: Self

The whole extended real line: contains every value, decides nothing.

pub fn point(value: f64) -> Self

The degenerate interval [value, value], exact for finite input.

pub const fn lo(self) -> f64

Lower bound.

pub const fn hi(self) -> f64

Upper bound.

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

Whether value lies in [lo, hi].

pub fn quotient(self, divisor: Self) -> Self

A sound enclosure of self / divisor, or Interval::WHOLE when the divisor may be zero.

Each bound is one IEEE division (correctly rounded), widened one step outward. Lets callers keep a cheap per-point box for values of the form numerator / weight.

pub fn disjoint(self, other: Self) -> bool

Whether the two intervals share no point.

Trait Implementations

impl Arith for Interval

fn from_f64(value: f64) -> Self

The value of a finite f64.

fn from_dyadic(value: &Dyadic) -> Self

The value of an exact dyadic number: itself in the exact tier, a sound enclosure in the interval tier (Dyadic::enclosure).

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

self + other.

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

self - other.

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

self * other.

fn neg(&self) -> Self

-self.

fn sign(&self) -> Option<Sign>

The sign, or None when this arithmetic cannot decide it.

fn square(&self) -> Self

self * self.

fn sqrt_enclosure(&self) -> Option<Self>

An enclosure of sqrt(self), for approximate arithmetics only.

impl Clone for Interval

fn clone(&self) -> Interval

Returns a copy 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