X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=dd5df93b0d9466747330160bd9437b569529bd90;hb=92dd847e38280a3bb0ec93781c47173a3848f1d7;hp=3f9e6c2ea8867338dedea119acc698cd8458dcd3;hpb=7f076cdf802fbb01682dc954d0d4afb26ba031a7;p=model-checker.git

diff --git a/model.h b/model.h
index 3f9e6c2..dd5df93 100644
--- a/model.h
+++ b/model.h
@@ -65,10 +65,7 @@ public:
 
 	void switch_from_master(Thread *thread);
 	uint64_t switch_to_master(ModelAction *act);
-	ClockVector * get_cv(thread_id_t tid) const;
-	ModelAction * get_parent_action(thread_id_t tid) const;
 	void check_promises_thread_disabled();
-	bool isfeasibleprefix() const;
 
 	bool assert_bug(const char *msg, ...);
 	void assert_user_bug(const char *msg);