X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=0adc3de1aabb47d9d8df7a007d59eb09f391a257;hb=0dc4895e7c40b9588d5ece94cba09e2fe2af420d;hp=5ea7dc58d0470a29a537985c6322f8792be1f856;hpb=8c9713418515a44e0a96cadabca0feececf962b3;p=model-checker.git

diff --git a/promise.h b/promise.h
index 5ea7dc5..0adc3de 100644
--- a/promise.h
+++ b/promise.h
@@ -36,6 +36,8 @@ 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; }
 	uint64_t get_value() const { return fv.value; }