readyList.push_back(t);
}
-Thread *Scheduler::next_thread(void)
+Thread * Scheduler::next_thread(void)
{
Thread *t = model->schedule_next_thread();
return t;
}
-Thread *Scheduler::get_current_thread(void)
+Thread * Scheduler::get_current_thread(void)
{
return current;
}