X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=84d5aa49b3af7b8156ef4744e270f128c6a0cabf;hb=5566833b04fb088b315dcde5148e05a9ea80c2df;hp=1560b5809dec9672310c5a65fb3c9c28f3841309;hpb=144f1b806679fd9030147f554513d7fce36f65dc;p=cdsspec-compiler.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; }