From f644ed02e576e600c6c562dd8324890aa6dedc08 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 11 Sep 2012 10:19:10 -0700
Subject: [PATCH] nodestack: add get_read_from_size()
---
nodestack.cc | 4 ++++
nodestack.h | 1 +
2 files changed, 5 insertions(+)
diff --git a/nodestack.cc b/nodestack.cc
index 2ebfc71..71af6ef 100644
--- 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 b440b11..8b4d7ae 100644
--- 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);
--
2.34.1