Trait spaces::OrderedSpace

source · [−]
pub trait OrderedSpace: Space where
    Self::Value: PartialOrd, {
    fn min(&self) -> Option<Self::Value> { ... }

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

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

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

    fn is_lower_bounded(&self) -> bool { ... }

    fn is_upper_bounded(&self) -> bool { ... }

    fn is_bounded(&self) -> bool { ... }
}

Provided methods

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

Return the infimum of the space.

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

Returns the supremum of the space.

Returns true iff self has a well-defined infimum.

Returns true iff self has a well-defined supremum.

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

Implementations on Foreign Types

Implementors