k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] structural precede transition rules?

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Cc: "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: [K-user] structural precede transition rules?
Date: Sun, 19 Oct 2014 11:09:31 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

I have two rules that can be matched at the same time. One of them has the tag 'structural'; and the other, 'transition'. I assumed that the structural rule will always execute before the transition one, a kind of precedence let's say. However. that's not happening in my case. Could someone explain?

Thank you

Omar Alzuhaibi

[K-user] structural precede transition rules?, Omar Duhaiby, 10/19/2014
- Re: [K-user] structural precede transition rules?, Dorel Lucanu, 10/19/2014