K-user mailing list

[Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>]

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