Skip to Content.
Sympa Menu

k-user - Re: [K-user] Precedence among rules

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Precedence among rules


Chronological Thread 
  • 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.


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,
Traian


2014-05-12 3:34 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:
Hello,

Can I give one rule more precedence than another, so that if both rules match, the one with higher precedence is executed?

Thank you

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user






Archive powered by MHonArc 2.6.16.

Top of Page