model.h

   1 #ifndef __MODEL_H__
   2 #define __MODEL_H__
   3
   4 #include "schedule.h"
   5
   6 class ModelChecker {
   7 public:
   8         ModelChecker();
   9         ~ModelChecker();
  10         class Scheduler *scheduler;
  11         struct thread *system_thread;
  12
  13         void add_system_thread(struct thread *t);
  14         void assign_id(struct thread *t);
  15
  16 private:
  17         int used_thread_id;
  18 };
  19
  20 extern ModelChecker *model;
  21
  22 #endif /* __MODEL_H__ */