Struct spaces::Interval

pub struct Interval<T = f64> { /* fields omitted */ }

Generalisation of a interval.

Methods

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 left_bounded(lb: T) -> Interval<T>

pub fn right_bounded(ub: T) -> Interval<T>

pub fn unit() -> Interval<T> where
    T: Zero + One, 

Trait Implementations

impl Space for Interval<f64>

type Value = f64

The data representation of the space.

fn dim(&self) -> Dim

Return the dimensionality of the space.

fn card(&self) -> Card

Return the number of elements in the set comprising the space.

impl Space for Interval<i64>

type Value = i64

The data representation of the space.

fn dim(&self) -> Dim

Return the dimensionality of the space.

fn card(&self) -> Card

Return the number of elements in the set comprising the space.

impl BoundedSpace for Interval<f64>

fn inf(&self) -> Option<f64>

Returns the value of the dimension's infimum, if it exists.

fn sup(&self) -> Option<f64>

Returns the value of the dimension's supremum, if it exists.

fn contains(&self, val: f64) -> bool

Returns true iff val lies within the dimension's bounds (closed).

fn is_left_bounded(&self) -> bool

Returns true iff self has a finite infimum.

fn is_right_bounded(&self) -> bool

Returns true iff self has a finite supremum.

fn is_compact(&self) -> bool

Returns true iff self has finite bounds in both directions.

impl BoundedSpace for Interval<i64>

fn inf(&self) -> Option<i64>

Returns the value of the dimension's infimum, if it exists.

fn sup(&self) -> Option<i64>

Returns the value of the dimension's supremum, if it exists.

fn contains(&self, val: i64) -> bool

Returns true iff val lies within the dimension's bounds (closed).

fn is_left_bounded(&self) -> bool

Returns true iff self has a finite infimum.

fn is_right_bounded(&self) -> bool

Returns true iff self has a finite supremum.

fn is_compact(&self) -> bool

Returns true iff self has finite bounds in both directions.

impl Surjection<f64, f64> for Interval<f64>

fn map_onto(&self, val: f64) -> f64

Map value from domain onto codomain.

impl Surjection<i64, i64> for Interval<i64>

fn map_onto(&self, val: i64) -> i64

Map value from domain onto codomain.

impl<T: Clone + PartialOrd> Union<Interval<T>> for Interval<T>

fn union(self, other: &Self) -> Self

Return the smallest space enclosing self and other of type Self.

fn union_many(self, other_spaces: &[S]) -> Self where
    Self: Sized, 

Return the smallest space enclosing self and all other_spaces of type Self.

impl<T: Clone + PartialOrd> Intersection<Interval<T>> for Interval<T>

fn intersect(self, other: &Self) -> Self

Return the smallest space enclosing self and other of type Self.

fn intersect_many(self, other_spaces: &[S]) -> Self where
    Self: Sized, 

Return the smallest space enclosing self and all other_spaces of type Self.

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: PartialEq> PartialEq<Interval<T>> for Interval<T>

fn eq(&self, other: &Interval<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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

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

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

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

Formats the value using the given formatter.

impl<T: Display> Display for Interval<T>

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

Formats the value using the given formatter.