model: split THREAD_* processing into process_thread_action()

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index fa11cb8cbbf5f0e5ed3f3ffa727b6ac9aea8ce66..42e023e5f55b5e5761bc86f41002591310bc4361 100644 (file)
--- a/model.h
+++ b/model.h
@@ -117,6 +117,7 @@ private:
        bool process_read(ModelAction *curr, bool second_part_of_rmw);
        bool process_write(ModelAction *curr);
        void process_mutex(ModelAction *curr);
+       bool process_thread_action(ModelAction *curr);
        bool check_action_enabled(ModelAction *curr);
 
        bool take_step();