k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Precedence among rules

From: Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>
To: Omar Duhaiby <3omarz 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 08:40:07 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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

[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