k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: samira kherfellah <samira.kherfellah AT gmail.com>
- To: k-user AT cs.uiuc.edu
- Subject: Re: [K-user] boolean variables in k
- Date: Tue, 23 Jul 2013 18:20:02 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Hi ,
thank you for your answer.
Yes, "=" mean "==Bool", but when I used "==Bool", I obtain the same result.
I want to evaluate E, if E is true then I go in the next state, else, if E is false, then I execute the second part of the program.
Samira.
- [K-user] boolean variables in k, samira kherfellah, 07/22/2013
- Re: [K-user] boolean variables in k, Stefan Ciobaca, 07/22/2013
- <Possible follow-up(s)>
- Re: [K-user] boolean variables in k, samir barchiche, 07/23/2013
- Re: [K-user] boolean variables in k, samira kherfellah, 07/23/2013
Archive powered by MHonArc 2.6.16.