Struct Interval

pub struct Interval<T>(pub T, pub T);

An interval implementing interval arithmetic.

Tuple Fields

0: T

1: T

Implementations

impl<T> Interval<T>

pub fn sort(a: T, b: T) -> Self

where T: PartialOrd,

Create the interval [min(a, b), max(a, b)].

pub fn splat(e: T) -> Self

where T: Clone,

Create the interval [e, e] (single value).

pub fn contains(&self, t: T) -> bool

where T: PartialOrd<T>,

Does this interval contain the given value?

pub fn width(self) -> T::Output

where T: Sub<T>,

The width of this interval.

pub fn midpoint(self) -> T

where T: RealField + Copy,

The average of the two interval endpoints.

pub fn split(self) -> [Self; 2]

where T: RealField + Copy,

Splits this interval at its midpoint.

pub fn enclose(self, t: T) -> Self

where T: PartialOrd,

Computes a new interval that contains both self and t.

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

where T: PartialOrd + SimdPartialOrd,

Computes the intersection between two intervals.

Returns None if the intervals are disjoint.

pub fn sin_cos(self) -> (Self, Self)

where T: RealField + Copy,

Bounds the image of thesin and cos functions on this interval.

pub fn sin(self) -> Self

where T: RealField + Copy,

Bounds the image of the sinus function on this interval.

pub fn cos(self) -> Self

where T: RealField + Copy,

Bounds the image of the cosinus function on this interval.

Trait Implementations

impl<T: Add<T> + Copy> Add<T> for Interval<T>

type Output = Interval<<T as Add>::Output>

The resulting type after applying the + operator.

fn add(self, rhs: T) -> Self::Output

Performs the + operation.

impl<T: Add<T>> Add for Interval<T>

type Output = Interval<<T as Add>::Output>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<T: Copy + Add<T, Output = T>> AddAssign for Interval<T>

fn add_assign(&mut self, rhs: Interval<T>)

Performs the += operation.

impl<T: Clone> Clone for Interval<T>

fn clone(&self) -> Interval<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Interval<T>

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

Formats the value using the given formatter.

impl<T> Div for Interval<T>

where T: RealField + Copy + Div<T>, <T as Div<T>>::Output: SimdPartialOrd,

type Output = (Interval<<T as Div>::Output>, Option<Interval<<T as Div>::Output>>)

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

impl<T: Hash> Hash for Interval<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T> Mul<T> for Interval<T>

where T: Copy + PartialOrd + Zero + Mul<T>,

type Output = Interval<<T as Mul>::Output>

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<T> Mul for Interval<T>

where T: Copy + PartialOrd + Zero + Mul<T>, <T as Mul<T>>::Output: SimdPartialOrd,

type Output = Interval<<T as Mul>::Output>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl<T> MulAssign for Interval<T>

where T: Copy + PartialOrd + Zero + Mul<T, Output = T>, <T as Mul<T>>::Output: SimdPartialOrd,

fn mul_assign(&mut self, rhs: Interval<T>)

Performs the *= operation.

impl<T: Neg> Neg for Interval<T>

type Output = Interval<<T as Neg>::Output>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<T: One + Mul<T>> One for Interval<T>

where Interval<T>: Mul<Interval<T>, Output = Interval<T>>,

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

where Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

impl<T: PartialEq> PartialEq for Interval<T>

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

type Output = Interval<<T as Sub>::Output>

The resulting type after applying the - operator.

fn sub(self, rhs: T) -> Self::Output

Performs the - operation.

impl<T: Sub<T> + Copy> Sub for Interval<T>

type Output = Interval<<T as Sub>::Output>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl<T: Copy + Sub<T, Output = T>> SubAssign for Interval<T>

fn sub_assign(&mut self, rhs: Interval<T>)

Performs the -= operation.

impl<T: Zero + Add<T>> Zero for Interval<T>

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<T: Copy> Copy for Interval<T>

impl<T: Eq> Eq for Interval<T>

impl<T> StructuralPartialEq for Interval<T>