model.cc

   1 #include "model.h"
   2 #include "schedule.h"
   3
   4 ModelChecker *model;
   5
   6 ModelChecker::ModelChecker()
   7 {
   8         /* First thread created (system_thread) will have id 1 */
   9         this->used_thread_id = 0;
  10         /* Initialize default scheduler */
  11         this->scheduler = new DefaultScheduler();
  12 }
  13
  14 ModelChecker::~ModelChecker()
  15 {
  16         delete this->scheduler;
  17 }
  18
  19 void ModelChecker::assign_id(struct thread *t)
  20 {
  21         t->id = ++this->used_thread_id;
  22 }
  23
  24 void ModelChecker::add_system_thread(struct thread *t)
  25 {
  26         this->system_thread = t;
  27 }