This is part of issue727.

Merged.

Let's merge then! I'm not sure what this will do to the documentation, but we
will find out. :-) (I'm suscribed to all Doc changes on the wiki.)

I tested seq-sat-lama-2011 on the blocksworld 8 problem and there was no
difference (except the times) in the output.

Code looks good. Without tests, I'm not sure I understand the subtle effects
this will have on the option parser and documentation, especially with the
LAMA-FF synergy.

Hence I suggest running a small local experiment with seq-sat-lama-2011,
before/after, on one task where LAMA finds multiple plans but eventually
terminates. For example, a blocksworld task that is large enough to require a
few seconds of search to finish the anytime search, but small enough for anytime
search to finish. Then check in meld what changes.

With other heuristics, I think this will either not break or break in a way that
we will find out automatically soon anyway, so no more tests necessary.

I don't fully understand what this will do with the documentation, but I think
if we merge issue749 soon, we will be fine.

Granted

Access denied.

We updated Manuel's original PR by merging the changes from default:

https://bitbucket.org/gfrances/downward-issu766/pull-requests/1/issue766/diff

Looks ready to re-review and merge now

Manuel, do you want to add this to the review queue?

The code looks good to me.

I added a pull request here
https://bitbucket.org/manuel_h/downward/pull-requests/5/issue766/diff .

I think we will rename the variable and function names in a later step of issue727.

The options for setting heuristics for preferred operators or heuristics for
lama synergy are of type Heuristic. As we will change the option parser to allow
Evaluators only (issue718), we convert all Heuristic options to Evaluator.