-const ModelAction * Node::get_next_read_from() {
- const ModelAction *act;
- ASSERT(!may_read_from.empty());
- act = may_read_from.front();
- /* TODO: perform reads_from replay properly */
- /* may_read_from.pop_front(); */
- return act;
+const ModelAction * Node::get_read_from() {
+ ASSERT(read_from_index<may_read_from.size());
+ return may_read_from[read_from_index];
+}
+
+bool Node::increment_read_from() {
+ read_from_index++;
+ return (read_from_index<may_read_from.size());