k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Matching cell inside a thread and the same thread!

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] Matching cell inside a thread and the same thread!
Date: Sat, 15 Nov 2014 14:53:16 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

If I have something like:

rule <k> Something </k>

<thread>... <someOtherCell> SomethingElse </someOtherCell> ...</thread>

Can this match if the thread that contains <k> Something </k> is the same thread that contains <someOtherCell> SomethingElse </someOtherCell>?

I'm doing this because sometimes the referenced k cell is in the same thread and sometimes it's in another thread. From what I understand, this will always mean that the referenced k cell should be in a thread different from the one containing <someOtherCell> SomethingElse </someOtherCell>. Is that right?

Thank you

[K-user] Matching cell inside a thread and the same thread!, Omar Duhaiby, 11/15/2014