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§
fn get_subdomain(&self) -> Partition
sourcefn map_location_to_subdomain_rank(
&self,
location: &Location,
habitat: &H
) -> u32
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.