Method ResetActiveWorkerSet

core/module.h:336–339

Reset the set of active workers.

  // Reset the set of active workers.
  void ResetActiveWorkerSet() {
    std::fill(active_workers_.begin(), active_workers_.end(), false);
    visited_tasks_.clear();
  }

  const std::vector<bool> &active_workers() const { return active_workers_; }