X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.cc;h=943a0f4f9ba09f1d7a7c67521b1c570ca6db0bf2;hb=8cebf02d9a4c9f0fe80af04f6276f4978f3b93f5;hp=62e2c9d24d67dbd2509faba6736bec62ea410f84;hpb=3f24c24a6fd349da74351946477b85d807709410;p=model-checker.git

diff --git a/promise.cc b/promise.cc
index 62e2c9d..943a0f4 100644
--- a/promise.cc
+++ b/promise.cc
@@ -2,7 +2,15 @@
 #include "model.h"
 #include "schedule.h"
 
-bool Promise::increment_threads(thread_id_t tid)
+/**
+ * Eliminate a thread which no longer can satisfy this promise. Once all
+ * enabled threads have been eliminated, this promise is unresolvable.
+ *
+ * @param tid The thread ID of the thread to eliminate
+ * @return True, if this elimination has invalidated the promise; false
+ * otherwise
+ */
+bool Promise::eliminate_thread(thread_id_t tid)
 {
 	unsigned int id = id_to_int(tid);
 	if (id >= synced_thread.size())