Issue692

Title store operator IDs instead of generating operator pointers in SeachNodeInfo
Priority feature Status resolved
Superseder Nosy List jendrik, malte
Assigned To jendrik Keywords
Optional summary

Created on 2016-12-14.08:42:26 by jendrik, last changed by jendrik.

Messages
msg5891 (view) Author: jendrik Date: 2016-12-15.10:05:33
Merged and pushed.
msg5883 (view) Author: malte Date: 2016-12-14.17:30:38
Looks good to merge.
msg5876 (view) Author: jendrik Date: 2016-12-14.08:56:41
Here are the relevant experiment results (copied from issue213):

http://ai.cs.unibas.ch/_tmp_files/seipp/issue213-issue213-base-vs-issue213-v1-release32.html
http://ai.cs.unibas.ch/_tmp_files/seipp/issue213-issue213-base-vs-issue213-v1-release64.html

http://ai.cs.unibas.ch/_tmp_files/seipp/issue213-release32-vs-release64-issue213-base.html
http://ai.cs.unibas.ch/_tmp_files/seipp/issue213-release32-vs-release64-issue213-v1.html
msg5875 (view) Author: jendrik Date: 2016-12-14.08:50:05
I maded a pull request at 
https://bitbucket.org/jendrikseipp/downward/pull-requests/65
msg5874 (view) Author: jendrik Date: 2016-12-14.08:42:26
Split off from issue213.
History
Date User Action Args
2016-12-15 10:05:34jendriksetstatus: reviewing -> resolved
messages: + msg5891
2016-12-14 17:30:38maltesetmessages: + msg5883
2016-12-14 15:50:20jendriksettitle: store operator IDs instead of generating operator pointers -> store operator IDs instead of generating operator pointers in SeachNodeInfo
2016-12-14 08:56:41jendriksetmessages: + msg5876
2016-12-14 08:50:05jendriksetstatus: unread -> reviewing
messages: + msg5875
2016-12-14 08:42:26jendrikcreate