pub trait Decomposition<M: MathsCore, H: Habitat<M>>: Backup + Sized + Debug {
    // Provided methods
    fn get_subdomain(&self) -> Partition { ... }
    fn map_location_to_subdomain_rank(
        &self,
        location: &Location,
        habitat: &H
    ) -> u32 { ... }
}

Provided Methods§

source

fn get_subdomain(&self) -> Partition

source

fn map_location_to_subdomain_rank( &self, location: &Location, habitat: &H ) -> u32

§Contracts

Pre-condition - debug: location is habitable

  • habitat.is_location_habitable(location)

Post-condition - debug: subdomain rank is in range [0, self.get_subdomain().size())

  • ret < self.get_subdomain().size().get()

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<M: MathsCore, H: Habitat<M>> Decomposition<M, H> for EqualDecomposition<M, H>

source§

impl<M: MathsCore, H: Habitat<M>> Decomposition<M, H> for ModuloDecomposition

source§

impl<M: MathsCore, H: Habitat<M>> Decomposition<M, H> for MonolithicDecomposition

source§

impl<M: MathsCore, H: Habitat<M>> Decomposition<M, H> for RadialDecomposition