Skip to main content

task_scheduler_push

Function task_scheduler_push 

Source
pub fn task_scheduler_push(this: &TaskScheduler, task: Task)
Expand description

void push(std::function<void()> task) (CLI/src/Analyze.cpp:365-373):

{
    std::unique_lock guard(mtx);
    tasks.push(std::move(task));
}
cv.notify_one();