k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: k-user AT cs.uiuc.edu
- Subject: [K-user] multiple instances of a cell in a rule
- Date: Wed, 12 Nov 2014 00:12:17 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Hello,
Can I do something like:
rule
<threads>...
<thread multiplicity=5>...
<k> E:Exp </k>
...</thread>
...</threads>
What I mean to check here is that I have exactly 5 threads which have an Exp in their k cell. Could that be done?
Thank you
Omar Alzuhaibi
- [K-user] multiple instances of a cell in a rule, Omar Duhaiby, 11/11/2014
- <Possible follow-up(s)>
- [K-user] multiple instances of a cell in a rule, Omar Duhaiby, 11/11/2014
- Re: [K-user] multiple instances of a cell in a rule, Moore, Brandon Michael, 11/11/2014
Archive powered by MHonArc 2.6.16.