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

diff --git a/model.h b/model.h
index dd5df93..cfc6528 100644
--- a/model.h
+++ b/model.h
@@ -54,18 +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);
-	void check_promises_thread_disabled();
 
 	bool assert_bug(const char *msg, ...);
 	void assert_user_bug(const char *msg);