Struct FloatInterval 

pub struct FloatInterval { /* private fields */ }

A closed floating-point interval [lo, hi] with outward-rounded arithmetic.

Implements a simplified version of Moore interval arithmetic.

Implementations

impl FloatInterval

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

Create a new interval. Panics if lo > hi.

pub fn try_new(lo: f64, hi: f64) -> Option<Self>

Try to create a new interval, returning None if lo > hi.

pub fn lo(self) -> f64

The lower bound.

pub fn hi(self) -> f64

The upper bound.

pub fn width(self) -> f64

The width hi - lo.

pub fn midpoint(self) -> f64

The midpoint (lo + hi) / 2.

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

Check if x is contained in [lo, hi].

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

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

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

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

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

Moore multiplication (four-product rule).

pub fn neg(self) -> Self

Interval negation: -[a,b] = [-b, -a].

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

Intersection of two intervals, returning None if disjoint.

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

Convex hull (smallest enclosing interval).

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

Check if self is a subset of other.

pub fn abs(self) -> Self

Absolute value interval: |[a,b]|.

pub fn square(self) -> Self

Square: [a,b]^2.

pub fn mignitude(self) -> f64

Mignitude: min |x| for x ∈ [lo, hi].

pub fn magnitude(self) -> f64

Magnitude: max |x| for x ∈ [lo, hi].

Trait Implementations

impl Clone for FloatInterval

fn clone(&self) -> FloatInterval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FloatInterval

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

Formats the value using the given formatter.

impl Display for FloatInterval

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

Formats the value using the given formatter.

impl PartialEq for FloatInterval

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

impl StructuralPartialEq for FloatInterval