X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=80917741c0048ad1d05ca952d2459484f1523fce;hp=74866c65b6824138c09eef3400d49d6527000d27;hb=e13a7703ecf62b58bf9b3e138739ba53c6b53616;hpb=21f8ca7067d5d6810ea819a183ea50f863c17752

diff --git a/model.h b/model.h
index 74866c65..80917741 100644
--- a/model.h
+++ b/model.h
@@ -111,11 +111,11 @@ public:
 
 	thread_id_t get_next_id();
 	unsigned int get_num_threads() const;
-	Thread * get_current_thread();
+	Thread * get_current_thread() const;
 
 	int switch_to_master(ModelAction *act);
-	ClockVector * get_cv(thread_id_t tid);
-	ModelAction * get_parent_action(thread_id_t tid);
+	ClockVector * get_cv(thread_id_t tid) const;
+	ModelAction * get_parent_action(thread_id_t tid) const;
 	void check_promises_thread_disabled();
 	void mo_check_promises(thread_id_t tid, const ModelAction *write);
 	void check_promises(thread_id_t tid, ClockVector *old_cv, ClockVector * merge_cv);
@@ -128,7 +128,7 @@ public:
 	void set_bad_synchronization();
 
 	const model_params params;
-	Node * get_curr_node();
+	Node * get_curr_node() const;
 
 	MEMALLOC
 private: