Author silvan
Recipients malte, silvan
Date 2017-11-05.21:28:55
I ran experiments in debug an release mode with random shrinking and linear
merging (both do not require any distance information) and the four different
possible pruning options to test the different behavior of computing g- and/or

No errors occurred and I think that one can now really prevent merge-and-shrink
from computing distances at all, except for goal distances when computing the
heuristic of course.

Here is the pull request, please don't feel urged (not a very large diff, but
neither extremely small. If I had to guess, I'd say 10-15minutes for looking at it):
Date User Action Args
2017-11-05 21:28:55silvansetmessageid: <>
2017-11-05 21:28:55silvansetrecipients: + silvan, malte
2017-11-05 21:28:55silvanlinkissue742 messages
2017-11-05 21:28:55silvancreate