clean up header #includes
[c11tester.git] / schedule.h
1 #ifndef __SCHEDULE_H__
2 #define __SCHEDULE_H__
3
4 #include <list>
5
6 #include "model.h"
7
8 class Thread;
9
10 class Scheduler {
11 public:
12         void add_thread(Thread *t);
13         void remove_thread(Thread *t);
14         Thread * next_thread(void);
15         Thread * get_current_thread(void);
16         void print();
17 private:
18         std::list<Thread *> readyList;
19         Thread *current;
20 };
21
22 #endif /* __SCHEDULE_H__ */