Revision 3 as of 2010-08-04 17:02:58

Clear message

Back to HomePage.

Usage

Translator

XXX TODO

Preprocessor

XXX TODO

Search component

 downward [OPTIONS] --search SEARCH < OUTPUT

Options:

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

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.