pub struct ClosedInterval {
pub lo: f64,
pub hi: f64,
}Expand description
Closed real interval [lo, hi].
Search callbacks may use infinite endpoints for conservative bounds, but
neither endpoint may be NaN and lo <= hi must hold. The search validates
every enclosure returned by a callback.
Fields§
§lo: f64§hi: f64Implementations§
Source§impl ClosedInterval
impl ClosedInterval
pub const fn new(lo: f64, hi: f64) -> Self
Sourcepub fn outward(lo: f64, hi: f64) -> Self
pub fn outward(lo: f64, hi: f64) -> Self
Construct an interval and round both supplied bounds one representable value outward. This is the public bridge for callers that derive a real-valued bound with ordinary nearest-rounded scalar arithmetic.
pub const fn point(value: f64) -> Self
pub const fn entire() -> Self
pub fn contains(self, value: f64) -> bool
pub fn contains_zero(self) -> bool
Trait Implementations§
Source§impl Clone for ClosedInterval
impl Clone for ClosedInterval
Source§fn clone(&self) -> ClosedInterval
fn clone(&self) -> ClosedInterval
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for ClosedInterval
Source§impl Debug for ClosedInterval
impl Debug for ClosedInterval
Source§impl PartialEq for ClosedInterval
impl PartialEq for ClosedInterval
impl StructuralPartialEq for ClosedInterval
Auto Trait Implementations§
impl Freeze for ClosedInterval
impl RefUnwindSafe for ClosedInterval
impl Send for ClosedInterval
impl Sync for ClosedInterval
impl Unpin for ClosedInterval
impl UnsafeUnpin for ClosedInterval
impl UnwindSafe for ClosedInterval
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.