6 ModelChecker::ModelChecker()
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();
14 ModelChecker::~ModelChecker()
16 delete this->scheduler;
19 void ModelChecker::assign_id(struct thread *t)
21 t->id = ++this->used_thread_id;
24 void ModelChecker::add_system_thread(struct thread *t)
26 this->system_thread = t;