model: change 'struct model_checker' to 'class ModelChecker'

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 7116d54592575b804f2f90695840335410be4250..31e88fe53a264a8d6c821941383d4cd9695b9884 100644 (file)
--- a/model.h
+++ b/model.h
@@ -1,7 +1,20 @@
 #ifndef __MODEL_H__
 #define __MODEL_H__
 
-struct model_checker {
+class ModelChecker {
+public:
+       ModelChecker();
+       ~ModelChecker();
+       struct scheduler *scheduler;
+       struct thread *system_thread;
+
+       void add_system_thread(struct thread *t);
+       void assign_id(struct thread *t);
+
+private:
+       int used_thread_id;
 };
 
+extern ModelChecker *model;
+
 #endif /* __MODEL_H__ */