pub trait OrderedSpace: Spacewhere
Self::Value: PartialOrd,{
// Provided methods
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§
Sourcefn min(&self) -> Option<Self::Value>
fn min(&self) -> Option<Self::Value>
Returns the value of the space’s minimum value, if it exists.
Sourcefn max(&self) -> Option<Self::Value>
fn max(&self) -> Option<Self::Value>
Returns the value of the dimension’s supremum, if it exists.
Sourcefn is_lower_bounded(&self) -> bool
fn is_lower_bounded(&self) -> bool
Returns true iff self has a well-defined infimum.
Sourcefn is_upper_bounded(&self) -> bool
fn is_upper_bounded(&self) -> bool
Returns true iff self has a well-defined supremum.
Sourcefn is_bounded(&self) -> bool
fn is_bounded(&self) -> bool
Returns true iff self has a well-defined minimum and maximum.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.