maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Rule priorities

From: Iago Abal <iago.abal AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Rule priorities
Date: Wed, 25 May 2011 23:44:20 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi all,

I am sorry if I missed something but after some doc reading I didn't figure out how I could assign priorities to my rules in order to ensure that Maude (concretely, the rewrite command) will never try to apply a rule B if another rule A is applicable, in case A has higher priority than B. Is this possible? Is there some workaround?

Thanks in advance,

--
Iago Abal Rivas

[Maude-help] Rule priorities, Iago Abal, 05/25/2011
- Message not available
  - Re: [Maude-help] Rule priorities, Iago Abal, 05/27/2011
    - Re: [Maude-help] Rule priorities, Michael Katelman, 05/27/2011
      - Re: [Maude-help] Rule priorities, Michael Katelman, 05/27/2011
    - Re: [Maude-help] Rule priorities, Marc Boyer, 05/30/2011