Differences between revisions 16 and 18 (spanning 2 versions)
⇤ ← Revision 16 as of 2023-02-16 12:56:29 →
Size: 839
Editor: ClemensBuechner
Comment:
← Revision 18 as of 2023-07-28 10:37:20 → ⇥
Size: 0
Editor: MalteHelmert
Comment: The page is no longer necessary. The remaining point is now discussed directly by the docs for the two affected heuristics.
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
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 heuristics ({{{landmark_sum}}} and {{{landmark_cost_partitioning}}}, see [[Doc/Evaluator#Landmark_sum_heuristic]] and [[Doc/Evaluator#Landmark_cost_partitioning_heuristic]]) require a special setting {{{pref=true}}} to enable preferred operator support. Hence, to use preferred operators with these heuristics, '''two''' things must be done at the moment:

 1. Set {{{pref=true}}} in the [[Doc/Evaluator| heuristic specification]].
 2. Include the heuristic in the list of heuristics in the {{{preferred}}} specification of the [[Doc/SearchEngine|search engine]].