K-user mailing list

[Mischael Schill <mischael.schill AT inf.ethz.ch>]

Sorry, I meant when and not if. It' already late here.

Cheers,
Mischa

Am 4. November 2014 22:52:20 MEZ, schrieb Omar Duhaiby 
<3omarz AT gmail.com>:
>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
>>
>>