X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;fp=promise.h;h=0adc3de1aabb47d9d8df7a007d59eb09f391a257;hb=875ebf8e11b4bdd702604785837b6b91b748900d;hp=4131470457cc7e4eb2ed2520ed2489aa8f3de66e;hpb=d7ef8a452c36e2ab3e56a8c43639006dc64d5d18;p=model-checker.git

diff --git a/promise.h b/promise.h
index 4131470..0adc3de 100644
--- a/promise.h
+++ b/promise.h
@@ -36,6 +36,7 @@ class Promise {
 	int get_num_available_threads() const { return num_available_threads; }
 	bool is_compatible(const ModelAction *act) const;
 	bool is_compatible_exclusive(const ModelAction *act) const;
+	bool same_value(const ModelAction *write) const;
 	bool same_location(const ModelAction *act) const;
 
 	modelclock_t get_expiration() const { return fv.expiration; }