k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Mischael Schill <mischael.schill AT inf.ethz.ch>
- To: Omar Duhaiby <3omarz AT gmail.com>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: Re: [K-user] "not exist" condition
- Date: Tue, 4 Nov 2014 22:33:55 +0100
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
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.