model.h

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