Node: pruning-rule, Next: , Previous: mor-out-filter, Up: Options



5.11 The Option pruning-rule (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. Use one of the following arguments:

set pruning-rule yes
Activate the pruning rule.
set pruning-rule no
Deactivate the pruning rule.