K-user mailing list

["Radoi, Cosmin A" <cos AT illinois.edu>]

We will be implementing strategies this summer. Could you please document 
your scenario in a github issue so we can go back to it when we have an 
implementation. Label it with "strategies".

Regarding your way of checking if another rule has matched, I don't think 
there is a better solution now (somebody correct me if I'm wrong).

Thanks,

Cosmin

On May 12, 2014, at 7:37 AM, Omar Duhaiby 
<3omarz AT gmail.com>
 wrote:

> 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
> 
> 
> 
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user