public:gtql:main
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
public:gtql:main [2007/06/11 17:25] – jonheidur | public:gtql:main [2024/04/29 13:33] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 2: | Line 2: | ||
**PI**: Yngvi Björnsson\\ | **PI**: Yngvi Björnsson\\ | ||
**Student**: | **Student**: | ||
+ | ===== ===== | ||
The game tree query tool is a tool for analyzing and debugging search algorithms. | The game tree query tool is a tool for analyzing and debugging search algorithms. | ||
Line 8: | Line 9: | ||
The query file is a text file with one query in each line. An example of a file with two queries would look like this: | The query file is a text file with one query in each line. An example of a file with two queries would look like this: | ||
- | node: | + | node: |
- | node: | + | node: |
- | Note that the bold attribute name is specific to this type of game-tree file. | + | Note that the bold attribute name is user defined and read from the game-tree file. |
The game-tree file (.gtf) is created using the [[GT-log library]]. | The game-tree file (.gtf) is created using the [[GT-log library]]. | ||
- | The tool would then be run with a command like this from command line or bat file. Note that path to files must be correct if they are not stored in the same place and GTQL.exe file | + | The tool is run with a command like the one below from command line or bat file. Note that path to files must be correct if they are not stored in the same place and GTQT.exe file |
- | GTQL queries.txt tree12.gtf | + | GTQT queries.txt tree12.gtf |
+ | The GTQ-tool can be downloaded here: | ||
+ | {{public: | ||
- | The GT-query tool can be downloaded here: | ||
- | |||
- | {{public: |
/var/www/cadia.ru.is/wiki/data/attic/public/gtql/main.1181582752.txt.gz · Last modified: 2024/04/29 13:32 (external edit)