Struct UpperBound

pub struct UpperBound<T>(/* private fields */);

Interpret the value as an upper bound, see LowerBound for more details.

Trait Implementations

impl<T: Clone> Clone for UpperBound<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for UpperBound<T>

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

Formats the value using the given formatter.

impl<T: PartialOrd> PartialEq<T> for UpperBound<T>

fn eq(&self, other: &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: PartialEq> PartialEq for UpperBound<T>

fn eq(&self, other: &UpperBound<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: PartialOrd> PartialOrd<T> for UpperBound<T>

fn partial_cmp(&self, other: &T) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: PartialOrd + Clone> StatBound<T> for UpperBound<T>

fn union(&self, other: &Self) -> Option<UpperBound<T>>

The meet or tightest covering bound

fn lift(value: Precision<T>) -> Self

Creates a new bound from a Precision statistic.

fn intersection( &self, other: &Self, ) -> Option<IntersectionResult<UpperBound<T>>>

Refines the bounds to the most precise estimate we can make for that bound. If the bounds are disjoint, then the result is None. e.g. Precision::Inexact(5) and Precision::Exact(6) would result in Precision::Inexact(5). A.k.a. the join of the bound.

fn to_exact(&self) -> Option<&T>

Returns the exact value from the bound if that value is exact, otherwise None.

fn into_value(self) -> Precision<T>

Converts Self back to Precision<T>, inverse of lift.

impl<T: Eq> Eq for UpperBound<T>

impl<T> StructuralPartialEq for UpperBound<T>