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();
}