nodestack: implement expiration sloppiness parameter
authorBrian Norris <banorris@uci.edu>
Wed, 7 Nov 2012 00:10:33 +0000 (16:10 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 7 Nov 2012 00:10:33 +0000 (16:10 -0800)
commitb7d75d9910011868710667d9d2ae018a10aefea5
treebc3b1572975241dcc7b428fc8c722385c49f4dfb
parentb76705db31ea3cc095400bb870114ee92f834201
nodestack: implement expiration sloppiness parameter

Now, a previously-explored, repeated future value will only generate a
new future-value/expiration pair if the expiration is higher than the
previous expiration + sloppiness. This prevents executions where we
continue to step up the future value expiration by a small increment,
creating the same execution.

This also rewrites the add_future_value() logic just a bit so that it is
a little bit more clear.
nodestack.cc