Struct spaces::Interval

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

Type representing an interval on the real line.

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) -> usize

Return the dimensionality of the space.

fn card(&self) -> Card

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

impl Space for Interval<i64>

type Value = i64

The data representation of the space.

fn dim(&self) -> usize

Return the dimensionality of the space.

fn card(&self) -> Card

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

impl BoundedSpace for Interval<f64>

type BoundValue = Self::Value

The upper/lower bound type; not necessarily equal to Space::Value.

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: Self::BoundValue) -> bool

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

impl BoundedSpace for Interval<i64>

type BoundValue = Self::Value

The upper/lower bound type; not necessarily equal to Space::Value.

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: Self::BoundValue) -> bool

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

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

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

Map value from domain onto codomain.

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

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

Map value from domain onto codomain.

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

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

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

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

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

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

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]

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

This method tests for !=.

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

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

Returns a copy of the value.

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

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

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for Interval<T> where
    T: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<T> Serialize for Interval<T> where
    T: Serialize, 

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.