Linear/confluent rules exploration

[rensink]

In some cases, the order in which the different matches of a rule are applied is irrelevant to the result; effectively, it is a universal quantification. One could express this in a control program by a statement of the kind

linear a;

which only explores a single match at a time, but does this as long as there are matches. In effect, this means locally linear exploration of this one rule.

(This in fact needs a bit of thought: couldn't one use universal quantification instead?)

Reported by: rensink

[rensink]

• Group: --> None

Original comment by: rensink