Trait spaces::BoundedSpace

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

Trait for defining spaces bounded to lie on an interval I.

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

Associated Types

type BoundValue: PartialOrd + Copy

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

Loading content...

Required methods

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

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

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

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

Loading content...

Implementors

impl BoundedSpace for NonNegativeReals

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for PositiveReals

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for Binary

type BoundValue = bool

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

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

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

impl BoundedSpace for Integers

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for Naturals

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for NonNegativeIntegers

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for NonZeroIntegers

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for Ordinal

type BoundValue = usize

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

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

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

impl BoundedSpace for Partition

type BoundValue = f64

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

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

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

impl BoundedSpace for Interval<f64>

type BoundValue = Self::Value

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

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

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

impl BoundedSpace for Interval<i64>

type BoundValue = Self::Value

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

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

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

Loading content...