Struct LabelledPartialSimplicialComplex

pub struct LabelledPartialSimplicialComplex<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync> { /* private fields */ }

Implementations§

Trait Implementations§

Returns a duplicate of the value. Read more

Performs copy-assignment from source. Read more

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

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 more

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

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

Should always be Self

Returns the String produced by Ts Debug implementation.

use malachite_base::strings::ToDebugString;

assert_eq!([1, 2, 3].to_debug_string(), "[1, 2, 3]");
assert_eq!(
    [vec![2, 3], vec![], vec![4]].to_debug_string(),
    "[[2, 3], [], [4]]"
);
assert_eq!(Some(5).to_debug_string(), "Some(5)");

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

LabelledPartialSimplicialComplex

Struct LabelledPartialSimplicialComplex Copy item path

Implementations§

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync> LabelledPartialSimplicialComplex<'f, FS, T>where FS::Set: Hash,

pub fn try_into_simplicial_complex( self, ) -> Result<LabelledSimplicialComplex<'f, FS, T>, &'static str>

pub fn into_labelled_simplicial_complex( &self, ) -> LabelledSimplicialComplex<'f, FS, Option<T>>

pub fn simplify(&self) -> Self

impl<'f, FS: OrderedRingSignature + FieldSignature> LabelledPartialSimplicialComplex<'f, FS, ()>where FS::Set: Hash,

pub fn closure(&self) -> SimplicialComplex<'f, FS>

Trait Implementations§

impl<'f, FS: Clone + OrderedRingSignature + FieldSignature, T: Clone + Eq + Clone + Send + Sync> Clone for LabelledPartialSimplicialComplex<'f, FS, T>

fn clone(&self) -> LabelledPartialSimplicialComplex<'f, FS, T>

fn clone_from(&mut self, source: &Self)

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

fn difference( &self, other: &LabelledPartialSimplicialComplex<'f, FS, S>, ) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledSimplicialComplex<'f, FS, T>where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

fn difference( &self, other: &LabelledPartialSimplicialComplex<'f, FS, S>, ) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledSimplicialDisjointUnion<'f, FS, T>where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

fn difference( &self, other: &LabelledPartialSimplicialComplex<'f, FS, S>, ) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialComplex<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

fn difference( &self, other: &LabelledSimplicialComplex<'f, FS, S>, ) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialDisjointUnion<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>where FS::Set: Hash,

type Output = LabelledPartialSimplicialComplex<'f, FS, T>

fn difference( &self, other: &LabelledSimplicialDisjointUnion<'f, FS, S>, ) -> Self::Output

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

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

fn intersect(&self, other: &PartialSimplicialComplex<'f, FS>) -> Self::Output

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

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

fn intersect(&self, other: &PartialSimplicialComplex<'f, FS>) -> Self::Output

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

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

fn intersect(&self, other: &PartialSimplicialComplex<'f, FS>) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync> LabelledSimplexCollection<'f, FS, T> for LabelledPartialSimplicialComplex<'f, FS, T>where FS::Set: Hash,

type WithLabel<S: Eq + Clone + Send + Sync> = LabelledPartialSimplicialComplex<'f, FS, S>

type SubsetType = LabelledPartialSimplicialComplex<'f, FS, T>

fn try_new_labelled( ambient_space: AffineSpace<'f, FS>, simplexes: HashMap<Simplex<'f, FS>, T>, ) -> Result<Self, &'static str>

fn new_labelled_unchecked( ambient_space: AffineSpace<'f, FS>, simplexes: HashMap<Simplex<'f, FS>, T>, ) -> Self

fn ambient_space(&self) -> AffineSpace<'f, FS>

fn labelled_simplexes(&self) -> HashMap<&Simplex<'f, FS>, &T>

fn into_labelled_simplexes(self) -> HashMap<Simplex<'f, FS>, T>

fn into_partial_simplicial_complex( self, ) -> LabelledPartialSimplicialComplex<'f, FS, T>

fn to_partial_simplicial_complex( &self, ) -> LabelledPartialSimplicialComplex<'f, FS, T>

fn into_simplicial_disjoint_union( self, ) -> LabelledSimplicialDisjointUnion<'f, FS, T>

fn to_simplicial_disjoint_union( &self, ) -> LabelledSimplicialDisjointUnion<'f, FS, T>

fn try_new( ambient_space: AffineSpace<'f, FS>, simplexes: HashSet<Simplex<'f, FS>>, ) -> Result<Self::WithLabel<()>, &'static str>

fn new_unchecked( ambient_space: AffineSpace<'f, FS>, simplexes: HashSet<Simplex<'f, FS>>, ) -> Self::WithLabel<()>

fn simplexes<'a>(&'a self) -> HashSet<&'a Simplex<'f, FS>>where T: 'a,

fn into_simplexes(self) -> HashSet<Simplex<'f, FS>>

fn subset_by_label( &self, label: &T, ) -> <Self::SubsetType as LabelledSimplexCollection<'f, FS, T>>::WithLabel<()>

fn into_subset_by_label( self, label: &T, ) -> <Self::SubsetType as LabelledSimplexCollection<'f, FS, T>>::WithLabel<()>

fn subset_by_filter(&self, f: impl Fn(&T) -> bool) -> Self::SubsetType

fn into_subset_by_filter(self, f: impl Fn(&T) -> bool) -> Self::SubsetType

fn apply_label_function<S: Eq + Clone + Send + Sync>( &self, f: impl Fn(&T) -> S, ) -> Self::WithLabel<S>

fn into_apply_label_function<S: Eq + Clone + Send + Sync>( self, f: impl Fn(T) -> S, ) -> Self::WithLabel<S>

fn forget_labels(&self) -> Self::WithLabel<()>

fn into_forget_labels(self) -> Self::WithLabel<()>

fn common_label<'a>( &'a self, simplexes: impl Iterator<Item = &'a Simplex<'f, FS>>, ) -> Option<&'a T>where FS: 'a, AffineSpace<'f, FS>: 'a, 'f: 'a,

impl<'f, FS: OrderedRingSignature + FieldSignature> MinkowskiSum<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>where FS::Set: Hash,

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

fn minkowski_sum( &self, other: &PartialSimplicialComplex<'f, FS>, ) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature> MinkowskiSumRaw<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>where FS::Set: Hash,

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

fn minkowski_sum_raw( &self, other: &PartialSimplicialComplex<'f, FS>, ) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>where FS::Set: Hash,

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

fn union(&self, other: &PartialSimplicialComplex<'f, FS>) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>where FS::Set: Hash,

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

fn union(&self, other: &PartialSimplicialComplex<'f, FS>) -> Self::Output

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialDisjointUnion<'f, FS>where FS::Set: Hash,

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

fn union(&self, other: &PartialSimplicialComplex<'f, FS>) -> Self::Output

Auto Trait Implementations§

impl<'f, FS, T> Freeze for LabelledPartialSimplicialComplex<'f, FS, T>

impl<'f, FS, T> RefUnwindSafe for LabelledPartialSimplicialComplex<'f, FS, T>where FS: RefUnwindSafe, T: RefUnwindSafe, <FS as SetSignature>::Set: RefUnwindSafe,

Struct LabelledPartialSimplicialComplex

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync> LabelledPartialSimplicialComplex<'f, FS, T>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature> LabelledPartialSimplicialComplex<'f, FS, ()>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledSimplicialComplex<'f, FS, T>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledPartialSimplicialComplex<'f, FS, S>> for LabelledSimplicialDisjointUnion<'f, FS, T>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialComplex<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync, S: Eq + Clone + Send + Sync> Difference<LabelledSimplicialDisjointUnion<'f, FS, S>> for LabelledPartialSimplicialComplex<'f, FS, T>
where FS::Set: Hash,

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

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature, T: Eq + Clone + Send + Sync> LabelledSimplexCollection<'f, FS, T> for LabelledPartialSimplicialComplex<'f, FS, T>
where FS::Set: Hash,

fn simplexes<'a>(&'a self) -> HashSet<&'a Simplex<'f, FS>>
where T: 'a,

fn common_label<'a>( &'a self, simplexes: impl Iterator<Item = &'a Simplex<'f, FS>>, ) -> Option<&'a T>
where FS: 'a, AffineSpace<'f, FS>: 'a, 'f: 'a,

impl<'f, FS: OrderedRingSignature + FieldSignature> MinkowskiSum<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature> MinkowskiSumRaw<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialDisjointUnion<'f, FS>
where FS::Set: Hash,

impl<'f, FS, T> RefUnwindSafe for LabelledPartialSimplicialComplex<'f, FS, T>
where FS: RefUnwindSafe, T: RefUnwindSafe, <FS as SetSignature>::Set: RefUnwindSafe,

impl<'f, FS, T> Unpin for LabelledPartialSimplicialComplex<'f, FS, T>
where T: Unpin, <FS as SetSignature>::Set: Unpin,

impl<'f, FS, T> UnwindSafe for LabelledPartialSimplicialComplex<'f, FS, T>
where T: UnwindSafe, FS: RefUnwindSafe, <FS as SetSignature>::Set: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> ExactFrom<T> for U
where U: TryFrom<T>,

impl<T, U> ExactInto<U> for T
where U: ExactFrom<T>,

impl<'f, FS, S> InteriorOrBoundarySimplexCollection<'f, FS> for S
where FS: OrderedRingSignature + FieldSignature + 'f, S: LabelledSimplexCollection<'f, FS, InteriorOrBoundary>, <FS as SetSignature>::Set: Hash,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T, U> OverflowingInto<U> for T
where U: OverflowingFrom<T>,

impl<T, U> RoundingInto<U> for T
where U: RoundingFrom<T>,

impl<T, U> SaturatingInto<U> for T
where U: SaturatingFrom<T>,

impl<T> ToDebugString for T
where T: Debug,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<T, U> WrappingInto<U> for T
where U: WrappingFrom<T>,

impl<Domain, Range, M, BM> BorrowedMorphism<Domain, Range, M> for BM
where Domain: Signature, Range: Signature, M: Morphism<Domain, Range>, BM: Borrow<M> + Clone + Debug + Send + Sync,

impl<S, BS> BorrowedSet<S> for BS
where BS: Borrow<S> + Clone + Debug + Send + Sync,