+/** @brief The Scheduler class controls the Thread execution schedule. */
+class Scheduler {
+public:
+ Scheduler();
+ void add_thread(Thread *t);
+ void remove_thread(Thread *t);
+ Thread * next_thread(void);
+ Thread * get_current_thread(void);
+ void print();