Trait spaces::BoundedSpace

pub trait BoundedSpace: Space where
    Self::Value: PartialOrd, {
    fn inf(&self) -> Option<Self::Value>;
    fn sup(&self) -> Option<Self::Value>;
    fn contains(&self, val: Self::Value) -> bool;

    fn is_left_bounded(&self) -> bool { ... }
    fn is_right_bounded(&self) -> bool { ... }
    fn is_compact(&self) -> bool { ... }
}

Trait for defining spaces with at least one finite bound.

Note: If both inf and sup are well defined (i.e. are not None), then the interval is totally bounded and we have a compact space; this is true in spaces as bounds are treated as closed.

Required methods

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

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

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

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

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

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

Loading content...

Provided methods

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.

Note: this trait assumed closedness, so compactness follows.

Loading content...

Implementors

impl BoundedSpace for Binary

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

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

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

impl BoundedSpace for Integers

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

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

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

impl BoundedSpace for Naturals

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

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

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

impl BoundedSpace for NonNegativeIntegers

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

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

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

impl BoundedSpace for NonZeroIntegers

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

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

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

impl BoundedSpace for Ordinal

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

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

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

impl BoundedSpace for NonNegativeReals

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

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

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

impl BoundedSpace for PositiveReals

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

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

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

impl BoundedSpace for Equipartition

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

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

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

impl BoundedSpace for Interval<f64>

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

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

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

impl BoundedSpace for Interval<i64>

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

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

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

Loading content...