k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: traian.serbanuta AT gmail.com
- Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: Re: [K-user] Precedence among rules
- Date: Mon, 12 May 2014 15:37:06 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Yes thank you very much. This is what I am currently doing. But I was hoping for a more elegant solution.
Is there a certain syntax to refer to another rule? because you said I have to check if the other rule does not match, which I do by using an extra cell in the configuration. I didn't like adding many cells that only act as tags for each type of rule.
Is there a certain syntax to refer to another rule? because you said I have to check if the other rule does not match, which I do by using an extra cell in the configuration. I didn't like adding many cells that only act as tags for each type of rule.
On Mon, May 12, 2014 at 8:40 AM, Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro> wrote:
Hello,Currently strategies are not supported, so the short answer would be no.The "standard" solution would be to that in the rule with lower precedence you explicitly check that the rule with higher precedence does not match. K might eventually add support for specifying priorities among rules but it currently does not.best wishes,Traian2014-05-12 3:34 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:
_______________________________________________Thank youHello,Can I give one rule more precedence than another, so that if both rules match, the one with higher precedence is executed?
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user
- [K-user] Precedence among rules, Omar Duhaiby, 05/11/2014
- Re: [K-user] Precedence among rules, Traian Florin Şerbănuţă, 05/12/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/12/2014
- Re: [K-user] Precedence among rules, Radoi, Cosmin A, 05/12/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/12/2014
- Re: [K-user] Precedence among rules, Radu Mereuta, 05/12/2014
- Re: [K-user] Precedence among rules, Dwight Guth, 05/12/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/12/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/19/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/12/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/12/2014
- Re: [K-user] Precedence among rules, Radoi, Cosmin A, 05/12/2014
- Re: [K-user] Precedence among rules, Omar Duhaiby, 05/12/2014
- Re: [K-user] Precedence among rules, Traian Florin Şerbănuţă, 05/12/2014
Archive powered by MHonArc 2.6.16.