search

nl-utwente-groove / code

GROOVE code base
https://groove.cs.utwente.nl
4 stars 0 forks source link

Linear/confluent rules exploration #717

Open rensink opened 11 years ago

rensink commented 11 years ago

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 commented 11 years ago

Original comment by: rensink