pub struct ContinuousMap<X, Y>where
X: TopologicalSpace,
Y: TopologicalSpace,{ /* private fields */ }Implementations§
Source§impl<X, Y> ContinuousMap<X, Y>where
X: TopologicalSpace,
Y: TopologicalSpace,
impl<X, Y> ContinuousMap<X, Y>where
X: TopologicalSpace,
Y: TopologicalSpace,
pub fn new<F>(f: F) -> Self
pub fn apply(&self, p: &X::Point) -> Y::Point
pub fn preimage( &self, domain_points: &BTreeSet<X::Point>, open_set: &BTreeSet<Y::Point>, ) -> BTreeSet<X::Point>
pub fn is_continuous_on( &self, domain: &X, codomain: &Y, domain_points: &BTreeSet<X::Point>, ) -> bool
Trait Implementations§
Source§impl<X, Y> Morphism for ContinuousMap<X, Y>
impl<X, Y> Morphism for ContinuousMap<X, Y>
Auto Trait Implementations§
impl<X, Y> !RefUnwindSafe for ContinuousMap<X, Y>
impl<X, Y> !UnwindSafe for ContinuousMap<X, Y>
impl<X, Y> Freeze for ContinuousMap<X, Y>
impl<X, Y> Send for ContinuousMap<X, Y>
impl<X, Y> Sync for ContinuousMap<X, Y>
impl<X, Y> Unpin for ContinuousMap<X, Y>
impl<X, Y> UnsafeUnpin for ContinuousMap<X, Y>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<F, G> Composable<G> for F
impl<F, G> Composable<G> for F
type Composed = ComposedMorphism<F, G>
fn compose(self, other: G) -> <F as Composable<G>>::Composed
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more