Back to HomePage.

Usage

Translator

XXX TODO

Preprocessor

XXX TODO

Search component

 downward [OPTIONS] --search SEARCH < OUTPUT

• SEARCH (SearchEngine): configuration of the search algorithm

• OUTPUT (filename): preprocessor output

Options:

• --heuristic HEURISTIC_PREDEFINITION

  • Predefines a heuristic that can afterwards be referenced by the name that is specified in the definition.

• --random-seed SEED

  • Use random seed SEED

Examples

Eager A* search with landmark-cut heuristic (previously configuration ou):

 ./downward --search "astar(lmcut())" < ./output

Lazy greedy best first search with FF and context-enhanced additive heuristic, using preferred operators of both heuristics (same configuration as previous option fFyY but using the new general search implementation):

 ./downward --heuristic "hff=ff()" --heuristic "hcea=cea()" \
            --search "lazy_greedy(hff, hcea, preferred=(hff, hcea))" \
            < ./output

For comparison, the old best first search implementation is still available:

 ./downward --heuristic "hff=ff()" --heuristic "hcea=cea()" \
            --search "old_greedy(hff, hcea, preferred=(hff, hcea))" \
            < ./output

If you would like to have another translation from an old-style configuration to the new call-syntax, please add it here as a TODO.