Trait Intersect 

pub trait Intersect<Other> {
    type Output;

    // Required method
    fn intersect(&self, other: &Other) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

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

Implementors

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialDisjointUnion<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>

where FS::Set: Hash,

type Output = LabelledSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialComplex<'f, FS, ()>> for SimplicialDisjointUnion<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialDisjointUnion<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialDisjointUnion<'f, FS, ()>> for SimplicialComplex<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialDisjointUnion<'f, FS, ()>> for SimplicialDisjointUnion<'f, FS>

where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, ()>