nodestack: add support functions for check_recency() w/ Promises

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index fc566d6dde8fd65561888899c3505babd79804b0..3cffac9c9b2219905020262302f4c580f9f03784 100644 (file)
--- 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;