Trait necsim_impls_no_std::cogs::lineage_store::coherent::globally::singleton_demes::SingletonDemesHabitat

source · 
pub trait SingletonDemesHabitat<M: MathsCore>: Habitat<M> {
    // Provided method
    fn is_habitat_at_location(&self, location: &Location) -> bool { ... }
}
Expand description

Marker trait which declares that all locations have <= 1 habitat i.e. all indexed locations have index 0

Provided Methods§

source

fn is_habitat_at_location(&self, location: &Location) -> bool

§Contracts

Pre-condition - debug: location is inside habitat extent

  • self.get_extent().contains(location)

Post-condition - debug: habitat is <= 1

  • self.get_habitat_at_location(location) <= 1_u32

Object Safety§

This trait is not object safe.

Implementors§