Message3714

Author malte
Recipients erez, florian, malte, silvia
Date 2014-10-08.12:10:23
Content
Interesting and mildly surprising. The only reasonable explanation I can up with
for something like astar(blind()) is that this is due to the central hash_set in
the state registry. We might want to leave this one open and look at it again
when we revisit the hash tables, which is something we had on the screen anyway.
Or we might just close it as something that is the way it is. Preferences?
History
Date User Action Args
2014-10-08 12:10:23maltesetmessageid: <1412763023.88.0.145956602832.issue213@unibas.ch>
2014-10-08 12:10:23maltesetrecipients: + malte, erez, silvia, florian
2014-10-08 12:10:23maltelinkissue213 messages
2014-10-08 12:10:23maltecreate