diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-08-15 20:28:37 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-08-15 20:28:37 +0000 |
| commit | 6bf419c50c719ac1b2d2808c84760eb0d1258d1d (patch) | |
| tree | a92b346d15ccf5d7d6faf63bf0cb5a9a37c9ebea /src/HelpFile | |
| parent | 28245481a73246ff9fa4e1bcf719019c2a00b6d3 (diff) | |
help for gt
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile index baf2bf761..25965d075 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -320,13 +320,16 @@ gt, generate_trees: gt Tree? the tree. options: -metas also return trees that include metavariables + -all generate all (lazily) + -lin linearize result of -all (otherwise, use pipe to linearize) flags: -depth generate to this depth (default 3) -atoms take this number of atomic rules of each category (default unlimited) -alts take this number of alternatives at each branch (default unlimited) -cat generate in this category + -old use an older algorithm (usually more memory-consuming) -lang use the abstract syntax of this grammar - -number generate (at most) this number of trees + -number generate (at most) this number of trees (also works with -all) -noexpand don't expand these categories (comma-separated, e.g. -noexpand=V,CN) -doexpand only expand these categories (comma-separated, e.g. -doexpand=V,CN) examples: |