Message2770

Author gabi
Recipients florian, gabi, haz, jendrik, malte
Date 2013-12-10.13:35:26
Content
I just started working on the sequential evaluation of effects. 

I think it would make sense to mark effects that can possibly be overwritten by
later effects as such. This would allow a protecting flag for heuristics that do
not support the new semantics. In addition, for heuristics that do support the
new semantics, knowing that an effect won't be overwritten can save overhead.

What do you think?
History
Date User Action Args
2013-12-10 13:35:26gabisetmessageid: <1386678926.84.0.915732857979.issue397@unibas.ch>
2013-12-10 13:35:26gabisetrecipients: + gabi, malte, haz, jendrik, florian
2013-12-10 13:35:26gabilinkissue397 messages
2013-12-10 13:35:26gabicreate