Back to the HomePage.

Caveats for the options

Here, we document some aspects of the command-line syntax that may be unintuitive or complicated.

Using "preferred operators" with landmark heuristics

Unlike all other (current) heuristics, the landmark heuristic (lmcount, see Doc/Evaluator#Landmark-count_heuristic) requires a special setting pref=true to enable preferred operator support. Hence, to use preferred operators with that heuristic, two things must be done at the moment:

  1. Set pref=true in the heuristic specification.

  2. Include the heuristic in the list of heuristics in the preferred specification of the search engine.

FastDownward: OptionCaveats (last edited 2018-09-20 23:43:46 by FlorianPommerening)