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: 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





Archive powered by MHonArc 2.6.16.

Top of Page