K-user mailing list

[Dwight Guth <dwight.guth AT gmail.com>]

<flags> L:List </flags> when 1 in L andBool 2 in L andBool notBool 3 in L

On Tue, Nov 4, 2014 at 3:52 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user