From 2b2369e22d20de095ca0f6560a29c56d92a83009 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 20 Apr 2012 10:58:40 -0700 Subject: [PATCH] model: move public functions to private --- model.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/model.h b/model.h index 01cf29b..2a4082b 100644 --- a/model.h +++ b/model.h @@ -74,9 +74,7 @@ public: void add_system_thread(Thread *t); void set_current_action(ModelAction *act) { current_action = act; } - ModelAction *get_last_conflict(ModelAction *act); void check_current_action(void); - void set_backtracking(ModelAction *act); void print_trace(void); Thread *schedule_next_thread(); @@ -89,6 +87,8 @@ public: private: int used_thread_id; + ModelAction *get_last_conflict(ModelAction *act); + void set_backtracking(ModelAction *act); thread_id_t advance_backtracking_state(); thread_id_t get_next_replay_thread(); -- 2.34.1