GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-13 06:49:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

some more options to gt

Browse Source
This commit is contained in:
aarne
2006-08-16 08:48:26 +00:00
parent 967de6946d
commit 4fd4f42a75
3 changed files with 18 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/GF/Shell/HelpFile.hs
View File

@@ -349,14 +349,15 @@ txtHelpFile =
"\n the tree." ++
"\n options:" ++
"\n -metas also return trees that include metavariables" ++
"\n -all generate all (lazily)" ++
"\n -all generate all (can be infinitely many, lazily)" ++
"\n -lin linearize result of -all (otherwise, use pipe to linearize)" ++
"\n flags:" ++
"\n -depth generate to this depth (default 3)" ++
"\n -atoms take this number of atomic rules of each category (default unlimited)" ++
"\n -alts take this number of alternatives at each branch (default unlimited)" ++
"\n -cat generate in this category" ++
"\n -old use an older algorithm (usually more memory-consuming)" ++
"\n -nonub don't remove duplicates (faster, not effective with -mem)" ++
"\n -mem use a memorizing algorithm (often faster, usually more memory-consuming)" ++
"\n -lang use the abstract syntax of this grammar" ++
"\n -number generate (at most) this number of trees (also works with -all)" ++
"\n -noexpand don't expand these categories (comma-separated, e.g. -noexpand=V,CN)" ++