Trait spaces::Intersection

pub trait Intersection<S = Self> {
    fn intersect(self, other: &S) -> Self;

    fn intersect_many(self, other_spaces: &[S]) -> Self
    where
        Self: Sized,
    { ... }
}

Trait for types that can be combined in the form of an intersection.

The intersection of a collection of sets is the set that contains only those elements present in each.

Required methods

fn intersect(self, other: &S) -> Self

Return the smallest space enclosing self and other of type Self.

Loading content...

Provided methods

fn intersect_many(self, other_spaces: &[S]) -> Self where
    Self: Sized, 

Return the smallest space enclosing self and all other_spaces of type Self.

Loading content...

Implementors

impl Intersection<Binary> for Binary

fn intersect(self, _: &Binary) -> Self

impl Intersection<Integers> for Integers

fn intersect(self, _: &Integers) -> Self

impl Intersection<Naturals> for Naturals

fn intersect(self, _: &Naturals) -> Self

impl Intersection<NonNegativeIntegers> for NonNegativeIntegers

fn intersect(self, _: &NonNegativeIntegers) -> Self

impl Intersection<NonZeroIntegers> for NonZeroIntegers

fn intersect(self, _: &NonZeroIntegers) -> Self

impl Intersection<Ordinal> for Ordinal

fn intersect(self, other: &Ordinal) -> Ordinal

impl Intersection<NonNegativeReals> for NonNegativeReals

fn intersect(self, _: &NonNegativeReals) -> Self

impl Intersection<PositiveReals> for PositiveReals

fn intersect(self, _: &PositiveReals) -> Self

impl Intersection<Reals> for Reals

fn intersect(self, _: &Reals) -> Self

impl<D1: Intersection, D2: Intersection> Intersection<PairSpace<D1, D2>> for PairSpace<D1, D2>

fn intersect(self, other: &Self) -> Self

impl<D: Intersection + Clone> Intersection<TwoSpace<D>> for TwoSpace<D>

fn intersect(self, other: &Self) -> Self

impl<D: Space + Intersection + Clone> Intersection<ProductSpace<D>> for ProductSpace<D>

fn intersect(self, other: &Self) -> Self

impl<T: Clone + PartialOrd> Intersection<Interval<T>> for Interval<T>

fn intersect(self, other: &Self) -> Self

Loading content...