|
⇤ ← Revision 1 as of 2010-08-03 09:58:17
Size: 584
Comment:
|
Size: 571
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 19: | Line 19: |
| search [OPTIONS] {-s|--search} SEARCH < OUTPUT | search [OPTIONS] --search SEARCH < OUTPUT |
| Line 25: | Line 25: |
| * `-h, --heuristic` [[ReusingHeuristics#predefinition|HEURISTIC_PREDEFINITION]] | * `--heuristic` [[ReusingHeuristics#predefinition|HEURISTIC_PREDEFINITION]] |
| Line 28: | Line 28: |
| * `-r, --random-seed` SEED | * `--random-seed` SEED |
Back to HomePage.
Usage
Translator
XXX TODO
Preprocessor
XXX TODO
Search component
search [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