8 ModelChecker::ModelChecker()
10 /* First thread created (system_thread) will have id 1 */
11 this->used_thread_id = 0;
12 /* Initialize default scheduler */
13 this->scheduler = new DefaultScheduler();
16 ModelChecker::~ModelChecker()
18 delete this->scheduler;
21 void ModelChecker::assign_id(struct thread *t)
23 t->id = ++this->used_thread_id;
26 void ModelChecker::add_system_thread(struct thread *t)
28 this->system_thread = t;