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