Skip to main content

QuotientSpace

Trait QuotientSpace 

Source
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§

Source

fn face_pairings(&self) -> impl Iterator<Item = Self::CoverIso>

Iteration order is part of the contract.

Source

fn in_fundamental_domain(&self, p: Self::Point) -> bool

Source

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.

Implementors§