Struct spaces::real::Reals

pub struct Reals;

Type representing the set of all real numbers.

Methods

impl Reals

pub fn bounded(self, lb: f64, ub: f64) -> Interval

pub fn left_bounded(self, lb: f64) -> Interval

pub fn right_bounded(self, ub: f64) -> Interval

Trait Implementations

impl Space for Reals

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 Surjection<f64, f64> for Reals

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

Map value from domain onto codomain.

impl Union<Reals> for Reals

fn union(self, _: &Reals) -> 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 Intersection<Reals> for Reals

fn intersect(self, _: &Reals) -> 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 Clone for Reals

fn clone(&self) -> Reals

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Reals> for Reals

fn eq(&self, other: &Reals) -> 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 Eq for Reals

impl Copy for Reals

impl Debug for Reals

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

Formats the value using the given formatter.

impl Display for Reals

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

Formats the value using the given formatter.

impl Hash for Reals

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].