Maude-help mailing list

["Morandi Benjamin" <benjamin.morandi AT inf.ethz.ch>]

I tried out the rewrite strategies. I started with ‘srew[1] t using init .’ This applies the ‘init’ rule and gives a state ‘tt’. I then continued with ‘(cont using lock .)’ to proceed with the ‘lock’ rule. I got: “didn't expect token init:”. Are there some other examples around on how to use this module?

 

From: Alberto Lluch Lafuente [mailto:albertolluch AT gmail.com]
Sent: Wednesday, May 22, 2013 2:17 PM
To: Morandi Benjamin
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Rewrite, change, and continue

 

Hi Benjamin,

 

I cannot figure out a way to do that using the current commands (and not changing your specification).

 

Of course an obvious option is to resort the META-LEVEL where you could easily implement your own rewrite strategies.

 

An alternative to the use of the META-LEVEL could be to use rewrite strategies (http://maude.sip.ucm.es/strategies/).

 

Best regards,

 

Alberto 

---

No virus found in this message.
Checked by AVG - www.avg.com
Version: 2013.0.3343 / Virus Database: 3162/6344 - Release Date: 05/21/13