schedule: create 'class Scheduler' with implementation 'class DefaultScheduler'

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 31e88fe53a264a8d6c821941383d4cd9695b9884..a9016338508eac25e4f1b97bc76a3e429d51fa40 100644 (file)
--- a/model.h
+++ b/model.h
@@ -1,11 +1,13 @@
 #ifndef __MODEL_H__
 #define __MODEL_H__
 
+#include "schedule.h"
+
 class ModelChecker {
 public:
        ModelChecker();
        ~ModelChecker();
-       struct scheduler *scheduler;
+       class Scheduler *scheduler;
        struct thread *system_thread;
 
        void add_system_thread(struct thread *t);