2 * @brief Thread scheduler.
11 /* Forward declaration */
14 /** @brief The Scheduler class performs the mechanics of Thread execution
19 void add_thread(Thread *t);
20 void remove_thread(Thread *t);
21 void sleep(Thread *t);
23 Thread * next_thread(Thread *t);
24 Thread * get_current_thread() const;
26 bool * get_enabled() { return is_enabled; };
30 /** The list of available Threads that are not currently running */
33 int curr_thread_index;
34 void set_enabled(Thread *t, bool enabled_status);
36 /** The currently-running Thread */
40 #endif /* __SCHEDULE_H__ */