#ifndef __SCHEDULE_H__
#define __SCHEDULE_H__
+#include <list>
+
#include "libthreads.h"
#include "model.h"
void add_thread(struct thread *t);
struct thread * next_thread(void);
struct thread * get_current_thread(void);
+private:
+ std::list<struct thread *> queue;
};
#endif /* __SCHEDULE_H__ */