• OptionCaveats

Back to the HomePage.

Caveats for the options

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

Setting the "cost type" for landmark heuristics

For mostly historical reasons, specifying the cost type (see HeuristicSpecification) for landmark heuristics is currently complicated. Here's the complete set of rules:

If you use the LAMA-FF synergy

There are three relevant options:

1. lm_cost_type of the landmark generation method (e.g. lm_rhw)

2. cost_type of the landmark generation method (e.g. lm_rhw)

3. cost_type of the synergy declation (lm_ff_syn)

The cost type of the synergy's landmark heuristic is determined by option 1. when using admissible=false and by option 3. when using admissible=true.

The cost type of the synergy's FF heuristic is determined by option 2.

If you do not use the LAMA-FF synergy

There are three relevant options:

1. lm_cost_type of the landmark generation method (e.g. lm_rhw)

2. cost_type of the landmark generation method (e.g. lm_rhw)

3. cost_type of the landmark heuristic declation (lmcount)

The cost type of the landmark heuristic is determined by option 1. when using admissible=false and by option 3. when using admissible=true.

Option 2 is ignored in this case.