Title Handle landmarks from derived variables in a principled way.
Priority feature Status chatting
Superseder Nosy List clemens, jendrik, malte, remo, salome, simon, thomas
Assigned To Keywords
Optional summary

Created on 2022-03-09.15:35:33 by clemens, last changed by malte.

msg10653 (view) Author: malte Date: 2022-03-09.17:01:38
I linked this from the meta-issue issue987.
msg10649 (view) Author: clemens Date: 2022-03-09.15:35:33
In our many small issues to refactor the landmark code of Fast Downward, we often find places where derived landmarks (i.e., landmarks containing derived predicates) are treated in a special way. Most often, they are simply excluded which is probably because nobody ever bothered to think through what should be done in that case. One such example is in the dead-end check based on landmarks with empty achievers (see issue1049). The goal of this issue is to come up with a more sophisticated treatment of these variables (or to make sure there is none). This is closely related to the findings documented in issue247. Especially Malte's msg10605 could be a starting point for this issue.
Date User Action Args
2022-03-09 17:01:38maltesetmessages: + msg10653
2022-03-09 16:49:14simonsetnosy: + simon
2022-03-09 15:35:33clemenscreate