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

diff --git a/model.h b/model.h
index 3f9e6c2..cfc6528 100644
--- a/model.h
+++ b/model.h
@@ -54,21 +54,15 @@ public:
 
 	Thread * get_thread(thread_id_t tid) const;
 	Thread * get_thread(const ModelAction *act) const;
-	int get_promise_number(const Promise *promise) const;
 
 	bool is_enabled(Thread *t) const;
 	bool is_enabled(thread_id_t tid) const;
 
-	thread_id_t get_next_id();
 	unsigned int get_num_threads() const;
 	Thread * get_current_thread() const;
 
 	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);