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

[model-checker.git] / model.h

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