k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: samir barchiche <samaster1 AT hotmail.fr>
- To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: Re: [K-user] boolean variables in k
- Date: Tue, 23 Jul 2013 15:47:56 +0000
- Importance: Normal
- 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.