maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Rewrite, change, and continue

From: "Morandi Benjamin" <benjamin.morandi AT inf.ethz.ch>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Rewrite, change, and continue
Date: Wed, 22 May 2013 11:46:09 +0000
Accept-language: en-US, de-CH
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Dear All,

I would like to achieve the following:

- Rewrite a starting term ‘t’ ‘n’-times using ‘rew[n]’ and a set of rules ‘s’. The resulting term is ‘tt’.

- Change ‘tt’ by manually applying a rule that is not in ‘s’. The resulting term is ‘ttt’.

- Continue rewriting ‘ttt’ using ‘cont .’ and the rules in ‘s’.

More generally, I’d like to influence which rule the rewrite command picks at a breakpoint of my choosing. Does anyone have an idea on how to do that?

Best regards

Benjamin Morandi

[Maude-help] Rewrite, change, and continue, Morandi Benjamin, 05/22/2013
- Re: [Maude-help] Rewrite, change, and continue, Alberto Lluch Lafuente, 05/22/2013
  - Re: [Maude-help] Rewrite, change, and continue, Morandi Benjamin, 05/22/2013
- Re: [Maude-help] Rewrite, change, and continue, Steven Eker, 05/30/2013