k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Cc: Traian Șerbănuță <traian.serbanuta AT gmail.com>, "Musab A. AlTurki" <musab AT kfupm.edu.sa>, Dwight Guth <dwight.guth AT gmail.com>
Subject: [K-user] multiple fresh Ints in one rule
Date: Thu, 6 Nov 2014 12:55:02 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

I didn't have a problem in the older version using the fresh function, but now using '!' like the following example gives the same value twice:

rule <k> iWantChildren </k>

(. => <thread> <tid> !NewId1:Int </tid> </thread>
<thread> <tid> !NewId2:Int </tid> </thread>
)

this makes two threads with the same value. How should I do it?

Thank you

Omar Alzuhaibi

[K-user] multiple fresh Ints in one rule, Omar Duhaiby, 11/06/2014
- Re: [K-user] multiple fresh Ints in one rule, Omar Duhaiby, 11/07/2014
  - Re: [K-user] multiple fresh Ints in one rule, Rosu, Grigore, 11/07/2014
- Re: [K-user] multiple fresh Ints in one rule, Moore, Brandon Michael, 11/07/2014
  - Re: [K-user] multiple fresh Ints in one rule, Andrei Stefanescu, 11/07/2014
    - Re: [K-user] multiple fresh Ints in one rule, Omar Duhaiby, 11/08/2014