X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=84d5aa49b3af7b8156ef4744e270f128c6a0cabf;hb=6070a45c81428a5e09909d4beb325150aefd0c52;hp=1560b5809dec9672310c5a65fb3c9c28f3841309;hpb=c2b7fc251420c50f51bf9c7f07f37d82b2bfc068;p=model-checker.git

diff --git a/promise.h b/promise.h
index 1560b58..84d5aa4 100644
--- a/promise.h
+++ b/promise.h
@@ -31,6 +31,7 @@ class Promise {
 	bool eliminate_thread(thread_id_t tid);
 	void add_thread(thread_id_t tid);
 	bool thread_is_available(thread_id_t tid) const;
+	unsigned int max_available_thread_idx() const;
 	bool has_failed() const;
 	void set_write(const ModelAction *act) { write = act; }
 	const ModelAction * get_write() const { return write; }