k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] structural precede transition rules?

From: Dorel Lucanu <dlucanu AT info.uaic.ro>
To: Omar Duhaiby <3omarz AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: Re: [K-user] structural precede transition rules?
Date: Sun, 19 Oct 2014 12:01:24 +0300 (EEST)
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Theoretically, there is no precedence between the two kinds of rules.
However, the Maude backend offers some limitted facilities regarding the precedence of rules.
If you kompile your definition with the option '--transition computational' (or '--transition="computational"', depending on what version you use), then the system tries to apply all structural rules before the computational ones.

I hope this helps.
Dorel

On Sun, 19 Oct 2014, Omar Duhaiby wrote:

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