#include <queue>
-#include "libthreads.h"
+#include "threads_internal.h"
#include "model.h"
class Scheduler {
public:
- void add_thread(struct thread *t);
- struct thread * next_thread(void);
- struct thread * get_current_thread(void);
+ void add_thread(Thread *t);
+ Thread * next_thread(void);
+ Thread * get_current_thread(void);
private:
- std::queue<struct thread *> queue;
- struct thread *current;
+ std::queue<Thread *> queue;
+ Thread *current;
};
#endif /* __SCHEDULE_H__ */