5 #include "libthreads.h"
10 typedef enum action_type {
20 ModelAction(action_type_t type, memory_order order, void *loc, int value);
34 class Scheduler *scheduler;
35 struct thread *system_thread;
37 void add_system_thread(struct thread *t);
38 void assign_id(struct thread *t);
44 extern ModelChecker *model;
46 #endif /* __MODEL_H__ */