X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=schedule.h;h=121da08db05a3d0d735c4ca34926006b364c85cb;hb=dc9c89654982c64264dfee7b1ea23e9a5e88e18e;hp=10312326528fadd4ad6e39f113030068d0cb19b7;hpb=e9bc426a2bc92870a9f1ab2f5e7387e2867522ef;p=model-checker.git

diff --git a/schedule.h b/schedule.h
index 1031232..121da08 100644
--- a/schedule.h
+++ b/schedule.h
@@ -27,7 +27,8 @@ public:
 	void remove_thread(Thread *t);
 	void sleep(Thread *t);
 	void wake(Thread *t);
-	Thread * next_thread(Thread *t);
+	Thread * select_next_thread();
+	void set_current_thread(Thread *t);
 	Thread * get_current_thread() const;
 	void print() const;
 	enabled_type_t * get_enabled_array() const { return enabled; };