nodestack: bugfix - rewrite 'may-read-from' and 'future values' as the same set
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 02:48:46 +0000 (18:48 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 03:06:58 +0000 (19:06 -0800)
commitab9a8cb068ff8fbc2f913c2c4be0fb4cede98743
treead5ae7e623564017d6578657ec6502f0cf5f2528
parentee296f053997ba5914f29334960dade61b1654e3
nodestack: bugfix - rewrite 'may-read-from' and 'future values' as the same set

There were some subtle bugs that appeared because of the difficulty in
iterating over two separate sets that represent the "read from" set for
a particular read. Now, we expose an interface where there's just a
single pair of functions 'increment_read_from()' and
'read_from_empty()', for iterating over this set, along with a
flag-check 'get_read_from_status()', so that we know where to grab
values from (get_read_from_past() or get_future_value()).

This also does a lot of code moving and documentation in nodestack.cc,
for better readability and organization.
model.cc
nodestack.cc
nodestack.h