> What I meant by "override" is the following: if we have an lm_rhw factory with
> disjunctive_landmarks=true in an lm_merged factory with
disjunctive_landmarks=false,
> then the resulting heuristic will not use disjunctive landmarks. Is that
correct...
It sounds plausible to me that this is what happens with the current code, but
it's convoluted enough that I don't have much confidence in this. But the way I
read the code, it's not overriding in the sense that the lm_merged setting
always "wins". Rather, both get a chance to discard the landmarks. If the
situation where the other way around, with lm_rhw using the false setting and
lm_merged using the true setting, I think we'd end up without disjunctive
landmarks, too.
> ...and the behaviour you would expect?
As written in my previous message, it would make sense for lm_merged not to have
any of these options in the first place. This may be an intrusive change in an
already brittle codebase, though; I'm not sure it ranks in the top 100 of
problems with the current landmark code. ;-)
|