Maude-help mailing list

[Alexandra <afm AT Cs.Nott.AC.UK>]

Hi,

I have rewriting rules in a system module and I need to give priority to 
certain rewrite rules. How can I do that? For instance, if I have the 
following rules:
[r1] :
        F(X)
        =>
        F('0)

[r2] :
        F(X)
        G(Y)
        => 
        F(Y)

If I have the terms F('1) and G('2) it can use both rules and it will choose 
one randomly, right? I don't want this to happen. I want to give priority to 
r2.

Also, is it possible to order terms in the frew or rew command? 
I ask this because in my example I have some objects and operations
on these objects, and these operations are not commutative - in the sense
that in the following example I want op1(A) to be performed before op1(B) and 
op2(B).

"frew <A:...>
         <B:...>
         op1(A)
         op1(B) 
         op2(B)         
."

Thank you,
Alexandra Mendes   

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.