Issue66

Title remove special casing of "stupid conditional effects" in some heuristics
Priority wish Status resolved
Superseder Nosy List florian, malte
Assigned To malte Keywords
Optional summary

Created on 2010-01-08.16:01:33 by malte, last changed by florian.

Messages
msg3241 (view) Author: florian Date: 2014-07-25.11:37:03
We fixed this recently during a discussion on fast-downward-dev.
msg193 (view) Author: malte Date: 2010-01-08.16:01:33
Some heuristics (I think at least merge-and-shrink and LM-cut) currently
special-case handling of certain "unnecessary" conditional effects of the type
"if A = 0, set A to 1", where the domain of A is {0, 1} (so this could be
replaced by an unconditional "set A to 1").

Once issue7 is resolved, this special-casing should no longer be necessary and
should be removed.
History
Date User Action Args
2014-07-25 11:37:03floriansetstatus: deferred -> resolved
nosy: + florian
messages: + msg3241
2010-01-08 16:01:33maltecreate