#include "model.h"
#include "schedule.h"
-#include <stdlib.h>
-#include <string.h>
ModelChecker *model;
{
/* First thread created (system_thread) will have id 1 */
this->used_thread_id = 0;
-
- scheduler_init(this);
+ /* Initialize default scheduler */
+ this->scheduler = new DefaultScheduler();
}
ModelChecker::~ModelChecker()
{
- struct scheduler *sched = model->scheduler;
-
- if (sched->exit)
- sched->exit();
- free(sched);
+ delete this->scheduler;
}
void ModelChecker::assign_id(struct thread *t)
void ModelChecker::add_system_thread(struct thread *t)
{
- model->system_thread = t;
+ this->system_thread = t;
}