4 #include "libthreads.h"
9 virtual void add_thread(struct thread *t) = 0;
10 virtual struct thread * next_thread(void) = 0;
11 virtual struct thread * get_current_thread(void) = 0;
14 class DefaultScheduler: public Scheduler {
16 void add_thread(struct thread *t);
17 struct thread * next_thread(void);
18 struct thread * get_current_thread(void);
21 #endif /* __SCHEDULE_H__ */