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, 14 Nov 2012 22:48:14 +0000 (14:48 -0800)
commitd8487bfb97bbe224620a22e993de6ce07fb0b925
treef96effe0c97547c2d817680d2949b9e0a2aa83aa
parentc8984fcea4482e03e6863322b14ef823aa62650a
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