Next: , Previous: syn-out-filter, Up: Options


5.21 The Option syn-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 syn-pruning. Use one of the following arguments:

set syn-pruning n
Call the syntax pruning rule whenever at least n states have consumed the same amount of input, for n > 0.
set syn-pruning 0
Deactivate the syntax pruning rule.