k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] "not exist" condition

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] "not exist" condition
Date: Wed, 5 Nov 2014 00:28:05 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

Suppose I have a cell called 'flag' in my configuration next to the k cell. And I have the following rule:

rule

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] "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