From dc5f5811dcd26e8a67d1fb5a30c5db756c9d7391 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 16 Aug 2006 08:48:26 +0000 Subject: some more options to gt --- src/HelpFile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/HelpFile') diff --git a/src/HelpFile b/src/HelpFile index 25965d075..1fbb50b85 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -320,14 +320,15 @@ gt, generate_trees: gt Tree? the tree. options: -metas also return trees that include metavariables - -all generate all (lazily) + -all generate all (can be infinitely many, 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) + -nonub don't remove duplicates (faster, not effective with -mem) + -mem use a memorizing algorithm (often faster, usually more memory-consuming) -lang use the abstract syntax of this grammar -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) -- cgit v1.2.3