k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: Mischael Schill <mischael.schill AT inf.ethz.ch>
- Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: Re: [K-user] "not exist" condition
- Date: Wed, 5 Nov 2014 00:52:20 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
That's very useful. The 'if' condition comes right after specifying the cell and not at the end of the rule like 'when', right?
OK. suppose we made a cell in the configuration:
<flags> .List </flags>
and I mean to fill the list with Ints. I want to check if the list contains 1, and 2 and does not contain 3. How do I do that?
On Wed, Nov 5, 2014 at 12:33 AM, Mischael Schill <mischael.schill AT inf.ethz.ch> wrote:
I suppose you could do something like <flag> F </flag> if F =/=Int 1, but this only works if the flag cell exists and only contains integers.
Cheers,
Mischael Schill
Am 4. November 2014 22:28:05 MEZ, schrieb Omar Duhaiby <3omarz AT gmail.com>:
>------------------------------------------------------------------------>Hello,
>
>Suppose I have a cell called 'flag' in my configuration next to the k
>cell.
>And I have the following rule:
>
>rule
><k> _ => . </k>
><flag> 1 </flag>
>
>This rule has one condition, that it has a value of 1 in the 'flag'
>cell.
>What if I want my condition to be: "flag has any value except one", or
>"there does not exist a value of 1 in the flag cell". Can I do that?
>
>Thank you
>Omar Alzuhaibi
>
>
>
>_______________________________________________
>k-user mailing list
>k-user AT cs.uiuc.edu
>http://lists.cs.uiuc.edu/mailman/listinfo/k-user
- [K-user] "not exist" condition, Omar Duhaiby, 11/04/2014
- Re: [K-user] "not exist" condition, Mischael Schill, 11/04/2014
- Re: [K-user] "not exist" condition, Omar Duhaiby, 11/04/2014
- Re: [K-user] "not exist" condition, Mischael Schill, 11/04/2014
- Re: [K-user] "not exist" condition, Omar Duhaiby, 11/04/2014
- Re: [K-user] "not exist" condition, Dwight Guth, 11/04/2014
- Re: [K-user] "not exist" condition, Traian Florin Şerbănuţă, 11/04/2014
- Re: [K-user] "not exist" condition, Omar Duhaiby, 11/05/2014
- Re: [K-user] "not exist" condition, Traian Florin Şerbănuţă, 11/05/2014
- Re: [K-user] "not exist" condition, Omar Duhaiby, 11/05/2014
- Re: [K-user] "not exist" condition, Mischael Schill, 11/04/2014
- Re: [K-user] "not exist" condition, Omar Duhaiby, 11/04/2014
- Re: [K-user] "not exist" condition, Mischael Schill, 11/04/2014
Archive powered by MHonArc 2.6.16.