Trait necsim_impls_no_std::cogs::active_lineage_sampler::independent::event_time_sampler::EventTimeSampler
source · pub trait EventTimeSampler<M: MathsCore, H: Habitat<M>, G: PrimeableRng<M>, T: TurnoverRate<M, H>>: Clone + Debug {
// Provided method
fn next_event_time_at_indexed_location_weakly_after(
&self,
indexed_location: &IndexedLocation,
time: NonNegativeF64,
habitat: &H,
rng: &mut G,
turnover_rate: &T
) -> NonNegativeF64 { ... }
}
Provided Methods§
sourcefn next_event_time_at_indexed_location_weakly_after(
&self,
indexed_location: &IndexedLocation,
time: NonNegativeF64,
habitat: &H,
rng: &mut G,
turnover_rate: &T
) -> NonNegativeF64
fn next_event_time_at_indexed_location_weakly_after( &self, indexed_location: &IndexedLocation, time: NonNegativeF64, habitat: &H, rng: &mut G, turnover_rate: &T ) -> NonNegativeF64
§Contracts
Pre-condition - debug: indexed_location must be habitable
habitat.get_habitat_at_location(indexed_location.location()) > 0
Post-condition - debug: the next event will happen weakly after time
ret >= time
Object Safety§
This trait is not object safe.