pub struct Interval<T = f64> { /* private fields */ }
Expand description
Generalisation of a interval.
Implementations
sourceimpl<T> Interval<T>
impl<T> Interval<T>
pub fn new(lb: Option<T>, ub: Option<T>) -> Interval<T>
pub fn unbounded() -> Interval<T>
pub fn bounded(lb: T, ub: T) -> Interval<T>
pub fn lower_bounded(lb: T) -> Interval<T>
pub fn upper_bounded(ub: T) -> Interval<T>
pub fn unit() -> Interval<T> where
T: Zero + One,
Trait Implementations
sourceimpl OrderedSpace for Interval<f64>
impl OrderedSpace for Interval<f64>
sourcefn is_lower_bounded(&self) -> bool
fn is_lower_bounded(&self) -> bool
Returns true iff self
has a well-defined infimum.
sourcefn is_upper_bounded(&self) -> bool
fn is_upper_bounded(&self) -> bool
Returns true iff self
has a well-defined supremum.
sourcefn is_bounded(&self) -> bool
fn is_bounded(&self) -> bool
Returns true iff self
has a well-defined minimum and maximum.
sourceimpl OrderedSpace for Interval<i64>
impl OrderedSpace for Interval<i64>
sourcefn is_lower_bounded(&self) -> bool
fn is_lower_bounded(&self) -> bool
Returns true iff self
has a well-defined infimum.
sourcefn is_upper_bounded(&self) -> bool
fn is_upper_bounded(&self) -> bool
Returns true iff self
has a well-defined supremum.
sourcefn is_bounded(&self) -> bool
fn is_bounded(&self) -> bool
Returns true iff self
has a well-defined minimum and maximum.
impl<T: Copy> Copy for Interval<T>
impl<T: Eq> Eq for Interval<T>
impl<T> StructuralEq for Interval<T>
Auto Trait Implementations
impl<T> RefUnwindSafe for Interval<T> where
T: RefUnwindSafe,
impl<T> Send for Interval<T> where
T: Send,
impl<T> Sync for Interval<T> where
T: Sync,
impl<T> Unpin for Interval<T> where
T: Unpin,
impl<T> UnwindSafe for Interval<T> where
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more