Skip to Content.
Sympa Menu

k-user - Re: [K-user] "not exist" condition

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] "not exist" condition


Chronological Thread 
  • 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





Archive powered by MHonArc 2.6.16.

Top of Page