Next: result-format, Previous: mor-out-filter, Up: Options
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
set pruning-rule no