Struct Reals

pub struct Reals;

Type representing the set of all real numbers.

Implementations

impl Reals

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

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

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

Trait Implementations

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 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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Intersect 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 OrderedSpace for Reals

fn min(&self) -> Option<Self::Value>

Returns the value of the space’s minimum value, if it exists.

fn inf(&self) -> Option<Self::Value>

Return the infimum of the space.

fn max(&self) -> Option<Self::Value>

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

fn sup(&self) -> Option<Self::Value>

Returns the supremum of the space.

fn is_lower_bounded(&self) -> bool

Returns true iff self has a well-defined infimum.

fn is_upper_bounded(&self) -> bool

Returns true iff self has a well-defined supremum.

fn is_bounded(&self) -> bool

Returns true iff self has a well-defined minimum and maximum.

impl PartialEq for Reals

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

const DIM: usize = 1usize

The dimensionality of the space.

type Value = f64

The data representation of elements of the space.

fn card(&self) -> Card

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

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

Returns true iff val is contained within the space.

impl Union for Reals

fn union(self, _: &Reals) -> Self

Return a space enclosing self and other of type Self.

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

where Self: Sized,

Return a space enclosing self and all other_spaces of type Self.

impl Copy for Reals

impl Eq for Reals

impl StructuralPartialEq for Reals