X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.h;h=1b03bc48943f5b24183c61cd372346a8f8a9b752;hp=c546f574202523b7ba0a575e34d6ac20182112a2;hb=11bd7a3e906795b46b1fd20276a28002978bf1ab;hpb=a0db445e3ecfedce6a85b7b381416b5c363a0614

diff --git a/action.h b/action.h
index c546f57..1b03bc4 100644
--- a/action.h
+++ b/action.h
@@ -82,6 +82,7 @@ public:
 	uint64_t get_value() const { return value; }
 	uint64_t get_reads_from_value() const;
 	uint64_t get_write_value() const;
+	uint64_t get_return_value() const;
 	const ModelAction * get_reads_from() const { return reads_from; }
 	Promise * get_reads_from_promise() const { return reads_from_promise; }
 
@@ -155,6 +156,9 @@ public:
 
 	bool equals(const ModelAction *x) const { return this == x; }
 	bool equals(const Promise *x) const { return false; }
+
+	bool may_read_from(const ModelAction *write) const;
+	bool may_read_from(const Promise *promise) const;
 	MEMALLOC
 private: