maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] How to set precedence to rule??

From: "zhangmin" <minzhang AT sjtu.edu.cn>
To: "maude-help" <maude-help AT maude.cs.uiuc.edu>
Subject: [Maude-help] How to set precedence to rule??
Date: Sat, 2 Jun 2007 23:05:58 +0800
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Dear All:

I'm designing a module which has several rule and conditional rule. If two or
more rules can be executed at the same time, I want one of them is executed
while others are not executed. How can I achieve this? Any advice will be
appreciated.

　　　　　　　　zhangmin
　　　　　　　　
minzhang AT sjtu.edu.cn
　　　　　　　　　　2007-06-02

[Maude-help] How to set precedence to rule??, zhangmin, 06/02/2007
- Re: [Maude-help] How to set precedence to rule??, Franco Brusatti, 06/04/2007