k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] 'in' operator for List of Lists

From: Omar Duhaiby <3omarz AT gmail.com>
To: Dwight Guth <dwight.guth AT runtimeverification.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: Re: [K-user] 'in' operator for List of Lists
Date: Mon, 29 Dec 2014 20:50:12 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

I'm using 3.5. OK then I will update and rebuild.
Thank you

On Mon, Dec 29, 2014 at 6:04 PM, Dwight Guth <dwight.guth AT runtimeverification.com> wrote:

What version of K are you using? I can confirm that this works correctly in the latest master...

On Sun, Dec 28, 2014 at 9:12 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:
I have the following list of lists:
ListItem (
    ListItem ( 1 )
    ListItem ( 6 ) )
ListItem (
    ListItem ( 1 )
    ListItem ( 4 ) )
ListItem (
    ListItem ( 2 )
    ListItem ( 5 ) )

I want to check if the list (2,5) is in that list. Using the 'in' operator didn't work for me.

My intention was to make a list of coordinates. Perhaps there is a better representation for it. What do you think?

Thank you
Omar Alzuhaibi

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] 'in' operator for List of Lists, Omar Duhaiby, 12/28/2014
- Re: [K-user] 'in' operator for List of Lists, Dwight Guth, 12/29/2014
  - Re: [K-user] 'in' operator for List of Lists, Omar Duhaiby, 12/29/2014