X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=9eb9aa655c0285914c48be1414c17d4061171f64;hb=0accacf66b9f7bb4479205a0840f208dd8da6960;hp=e55863dce74ec1ea9906b0589db7734c21c856cc;hpb=10676ed8e2c04c76d410efc9ffe4cb49b9462f57;p=model-checker.git

diff --git a/model.h b/model.h
index e55863d..9eb9aa6 100644
--- a/model.h
+++ b/model.h
@@ -55,6 +55,7 @@ public:
 
 	int switch_to_master(ModelAction *act);
 	ClockVector * get_cv(thread_id_t tid);
+	ModelAction * get_parent_action(thread_id_t tid);
 	bool next_execution();
 	bool isfeasible();
 	bool isfinalfeasible();
@@ -96,7 +97,6 @@ private:
 
 	void add_action_to_lists(ModelAction *act);
 	ModelAction * get_last_action(thread_id_t tid);
-	ModelAction * get_parent_action(thread_id_t tid);
 	ModelAction * get_last_seq_cst(const void *location);
 	void build_reads_from_past(ModelAction *curr);
 	ModelAction * process_rmw(ModelAction *curr);