void EventDeliveryManager::initialize() { // ensures that ResetKernel resets off_grid_spiking_ off_grid_spiking_ = false; init_moduli(); reset_timers_counters(); }
void EventDeliveryManager::initialize() { init_moduli(); }
void EventDeliveryManager::initialize() { init_moduli(); reset_timers_counters(); }