Issue 435: add general successor modification functionality - Fast Downward issue tracker

Title	add general successor modification functionality
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To		Keywords
Optional summary

Created on 2014-05-06.16:50:31 by jendrik, last changed by jendrik.

Messages
msg10176 (view)	Author: jendrik	Date: 2021-03-18.13:57:23
We currently have no plans to pursue this, so I'm closing the issue. Feel free to reopen it when you want to work on this.
msg3159 (view)	Author: jendrik	Date: 2014-05-06.16:55:07
Currently successor reordering is only implemented for lazy search (issue392), but this general functionality should also be available for eager search.
msg3158 (view)	Author: jendrik	Date: 2014-05-06.16:50:31
It would be nice to have a general functionality for modifying (i.e. pruning or reordering) the list of successors. This could be used to implement the following features: * successor reordering * partial order reduction * pruning based on preferred operators

History
Date	User	Action	Args
2021-03-18 13:57:23	jendrik	set	status: chatting -> resolved messages: + msg10176
2015-03-02 14:43:07	jendrik	set	title: add general successor modification functionailty -> add general successor modification functionality
2014-05-06 16:55:07	jendrik	set	status: unread -> chatting messages: + msg3159
2014-05-06 16:50:31	jendrik	create