k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] multiple fresh Ints in one rule

From: Omar Duhaiby <3omarz AT gmail.com>
To: k-user AT cs.uiuc.edu
Cc: "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: Re: [K-user] multiple fresh Ints in one rule
Date: Fri, 7 Nov 2014 20:51:24 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello. Can someone help me with this?

On Nov 6, 2014 12:55 PM, "Omar Duhaiby" <3omarz AT gmail.com> wrote:

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