X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=0bf62d6b6a6bb1358383cd772ac0c5c9cd6d04a0;hb=6ec6d90066682d8849af174e531e4e0d547ebab3;hp=180d9b01cc3bfc723d8dc3deb62c83c1a4e90e5a;hpb=5e4a7d161cba81152ddcf295ee72fbb25ba3afaa;p=model-checker.git

diff --git a/promise.h b/promise.h
index 180d9b0..0bf62d6 100644
--- a/promise.h
+++ b/promise.h
@@ -16,6 +16,7 @@ class Promise {
 	Promise(ModelAction * act, uint64_t value);
 	const ModelAction * get_action() { return read; }
 	int increment_threads() { return ++numthreads; }
+	uint64_t get_value() { return value; }
 	
  private:
 	uint64_t value;