model: add thread ID assignment function

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 5031c8b207c12c1e4123fbe829e4daa0f0a0df29..625d2726fe775921f981e5d666426eb85cb32148 100644 (file)
--- a/model.h
+++ b/model.h
@@ -4,11 +4,15 @@
 struct model_checker {
        struct scheduler *scheduler;
        struct thread *system_thread;
+
+       /* "Private" fields */
+       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);
 
 #endif /* __MODEL_H__ */