X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=3cffac9c9b2219905020262302f4c580f9f03784;hb=8d4a273698366b54612e40742ef6fb7bd63c7090;hp=fc566d6dde8fd65561888899c3505babd79804b0;hpb=e356dc963edf27f8a97b1ae3d39e276723aa5968;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index fc566d6..3cffac9 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -75,7 +75,9 @@ public:
 	int get_read_from_past_size() const;
 
 	void add_read_from_promise(const ModelAction *reader);
-	const Promise * get_read_from_promise() const;
+	Promise * get_read_from_promise() const;
+	Promise * get_read_from_promise(int i) const;
+	int get_read_from_promise_size() const;
 
 	bool add_future_value(struct future_value fv);
 	struct future_value get_future_value() const;