Trait necsim_impls_no_std::parallelisation::independent::monolithic::reporter::WaterLevelReporterProxy

pub trait WaterLevelReporterProxy<'l, 'p, R: Reporter, P: LocalPartition<'p, R>>: Sized + Reporter<ReportSpeciation = R::ReportSpeciation, ReportDispersal = R::ReportDispersal, ReportProgress = False> {
    // Provided methods
    fn new(capacity: usize, local_partition: &'l mut P) -> Self { ... }
    fn water_level(&self) -> NonNegativeF64 { ... }
    fn advance_water_level(&mut self, water_level: NonNegativeF64) { ... }
    fn local_partition(&mut self) -> &mut P { ... }
}

Provided Methods

fn new(capacity: usize, local_partition: &'l mut P) -> Self

fn water_level(&self) -> NonNegativeF64

fn advance_water_level(&mut self, water_level: NonNegativeF64)

Contracts

Pre-condition - debug: advances the water level

• water_level >= self.water_level()

Post-condition - debug: self.water_level() == old(water_level)

fn local_partition(&mut self) -> &mut P

Object Safety

This trait is not object safe.

Implementors