Skip to Content.
Sympa Menu

k-user - Re: [K-user] Thread Matching

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Thread Matching


Chronological Thread 
  • 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] Thread Matching
  • Date: Mon, 12 May 2014 22:31:05 +0300
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

The simplest way to achieve this would be to have a special cell wrapping all threads in question.

Then, you can write a rule like:

  rule <threads>
           <thread>...
            <k> parallelThreadManager(0) => V ...</k> 
            <tid> ManagerId </tid> 
        ...</thread>
          (_ => .)
        </threads>

not sure whether you can rethink your configuration this way, whough.

2014-05-12 16:26 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:
I have parallel sibling threads assigned to a parent thread by a cell called "parentId". I want anyone of them to match and the rest to be deleted. I did this:

    rule <thread>...
            <k> parallelThreadManager(0) => V ...</k>
            <tid> ManagerId </tid>
        ...</thread>
        (<thread>...
            <k> V:Val </k>
            <parentId> ManagerId </parentId>
        ...</thread> => .)
        (<thread>...
            <parentId> ManagerId </parentId>
        ...</thread> => . )


The last bit of the rule should delete other threads, but it only deletes one such thread. I need it to delete ALL such threads. How can I do that?

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user





Archive powered by MHonArc 2.6.16.

Top of Page