At least everything compiles now... Subramanian's changes pushed into main fork...
[model-checker.git] / schedule.h
1 #ifndef __SCHEDULE_H__
2 #define __SCHEDULE_H__
3
4 #include <list>
5 #include "mymemory.h"
6
7 /* Forward declaration */
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   MEMALLOC
18 private:
19         std::list<Thread *, MyAlloc< Thread * > > readyList;
20         Thread *current;
21 };
22
23 #endif /* __SCHEDULE_H__ */