next up previous contents
Next: The Option ``result'' Up: The Options of ``malaga'' Previous: The Option ``output-format'' (malaga)   Contents

The Option ``pruning'' (malaga)

In your syntax rules, you may have specified a pruning rule that can prune the syntax analysis tree, i.e it can reduce the number of parallel paths. If you want this pruning rule to be executed, use the option pruning. Us one of the following arguments:

`` set pruning on'' activates the pruning rule;
`` set pruning off'' disactivates the pruning rule.



Bjoern Beutel