Method HaveVisitedWorker

core/module.h:360–363

Check if we have already seen a task

  // Check if we have already seen a task
  inline bool HaveVisitedWorker(const Task *task) const {
    return std::find(visited_tasks_.begin(), visited_tasks_.end(), task) !=
           visited_tasks_.end();
  }

  // Number of tasks that access this module
  inline size_t num_active_tasks() const { return visited_tasks_.size(); }