nodestack: add get_read_from_size()

diff --git a/nodestack.cc b/nodestack.cc
index 2ebfc718a3c89403fb19fff42390d11d284ad789..71af6ef246314b0a40d373c7388418c5f4a01c82 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -221,6 +221,10 @@ uint64_t Node::get_future_value() {
        return future_values[future_index];
 }
 
+int Node::get_read_from_size() {
+       return may_read_from.size();
+}
+
 /**
  * Gets the next 'may_read_from' action from this Node. Only valid for a node
  * where this->action is a 'read'.

diff --git a/nodestack.h b/nodestack.h
index b440b11d58e3242b359a45be8fdac52267c99726..8b4d7aef232bd2d5e09d899493c97c1e0de3d410 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -64,6 +64,7 @@ public:
        const ModelAction * get_read_from();
        bool increment_read_from();
        bool read_from_empty();
+       int get_read_from_size();
 
        void set_promise(unsigned int i);
        bool get_promise(unsigned int i);