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);
40 void set_current_action(ModelAction *act) { current_action = act; }
44 class ModelAction *current_action;
47 extern ModelChecker *model;
49 #endif /* __MODEL_H__ */