pub trait QuotientSpace: CoveringSpace {
// Required methods
fn face_pairings(&self) -> impl Iterator<Item = Self::CoverIso>;
fn in_fundamental_domain(&self, p: Self::Point) -> bool;
fn wrap_to_domain(&self, p: Self::Point) -> (Self::Point, Self::CoverIso);
}Required Methods§
Sourcefn face_pairings(&self) -> impl Iterator<Item = Self::CoverIso>
fn face_pairings(&self) -> impl Iterator<Item = Self::CoverIso>
Iteration order is part of the contract.
fn in_fundamental_domain(&self, p: Self::Point) -> bool
fn wrap_to_domain(&self, p: Self::Point) -> (Self::Point, Self::CoverIso)
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.