Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Currently there is no builtin way of controlling
(1) priority of rules
(2) choice of redex
(3) choice of matching substitution
though you can control all of these by working at the metalevel and 
essentially writing your own strategy language. The next Maude release is 
intended to have a fairly sophisticated builtin strategy language and Alberto 
Verdejo 
<alberto AT sip.ucm.es>
 has already implemented an experimental strategy 
language for Full Maude.

Steven

On Friday 16 June 2006 13:29, Alexandra wrote:
> 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.
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help