From: Brian Norris <banorris@uci.edu>
Date: Fri, 20 Apr 2012 17:58:40 +0000 (-0700)
Subject: model: move public functions to private
X-Git-Tag: pldi2013~526
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2b2369e22d20de095ca0f6560a29c56d92a83009;p=model-checker.git

model: move public functions to private
---

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();