Issue 692: store operator IDs instead of generating operator pointers in SeachNodeInfo - Fast Downward issue tracker

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:34	jendrik	set	status: reviewing -> resolved messages: + msg5891
2016-12-14 17:30:38	malte	set	messages: + msg5883
2016-12-14 15:50:20	jendrik	set	title: store operator IDs instead of generating operator pointers -> store operator IDs instead of generating operator pointers in SeachNodeInfo
2016-12-14 08:56:41	jendrik	set	messages: + msg5876
2016-12-14 08:50:05	jendrik	set	status: unread -> reviewing messages: + msg5875
2016-12-14 08:42:26	jendrik	create