k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] matching for a specific Id value?

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: Abdul Dakkak <abduld AT wolfram.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] matching for a specific Id value?
Date: Mon, 16 Sep 2013 07:11:15 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Great, just what I was looking for. Thanks.

---
Ömer Sinan Ağacan
http://osa1.net

2013/9/16 Abdul Dakkak
<abduld AT wolfram.com>:
>
>
> you could use side conditions. so
>
> rule <k> I:Id ... </k> when Id2String(I) ==String "someId"
>
>
> -adk-
>
> ----- Original Message -----
>> From: "Ömer Sinan Ağacan"
>> <omeragacan AT gmail.com>
>> To:
>> k-user AT cs.uiuc.edu
>> Sent: Sunday, September 15, 2013 11:05:17 PM
>> Subject: [K-user] matching for a specific Id value?
>>
>> Is there a way to match in a rule for a specific Id value?
>>
>> An example, like this rule:
>>
>> rule <k> I:Id ... </k>
>>
>> I want to match when I is "someId". I looked for Id's syntax
>> declaration in builtin K files but could't find anything useful(all I
>> could find was `syntax Id ::= #Id`)
>>
>> Thanks.
>>
>> ---
>> Ömer Sinan Ağacan
>> http://osa1.net
>>
>> _______________________________________________
>> k-user mailing list
>> k-user AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>

[K-user] matching for a specific Id value?, Ömer Sinan Ağacan, 09/15/2013
- Re: [K-user] matching for a specific Id value?, Abdul Dakkak, 09/15/2013
  - Re: [K-user] matching for a specific Id value?, Ömer Sinan Ağacan, 09/15/2013
    - Re: [K-user] matching for a specific Id value?, Abdul Dakkak, 09/16/2013