4 #include "libthreads.h"
10 void (*add_thread)(struct thread *t);
11 struct thread * (*next_thread)(void);
12 struct thread * (*get_current_thread)(void);
17 void scheduler_init(struct model_checker *mod);
18 void schedule_add_thread(struct thread *t);
19 struct thread *schedule_choose_next(void);
21 #endif /* __SCHEDULE_H__ */