k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

From: Dwight Guth <dwight.guth AT runtimeverification.com>
To: Ayushi Rastogi <rastogiayushi98 AT gmail.com>
Cc: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] How to iterate through list
Date: Wed, 5 Jun 2019 11:51:58 -0500
Authentication-results: illinois.edu; spf=none smtp.mailfrom=dwight.guth AT runtimeverification.com; dkim=pass header.d=runtimeverification-com.20150623.gappssmtp.com header.s=20150623; dmarc=none

rule X in X, _ => true

rule X in .Glist => false

rule X in _, G => X in G [owise]

On Wed, Jun 5, 2019 at 12:42 AM Ayushi Rastogi <rastogiayushi98 AT gmail.com> wrote:

Suppose

Glist={Id,","}
now how to implement X:Id in Glist where i want to check that

Dwight Guth

Director of Engineering

[[K-user] ] How to iterate through list, Ayushi Rastogi, 06/05/2019
- Re: [[K-user] ] How to iterate through list, Dwight Guth, 06/05/2019
- <Possible follow-up(s)>
- [[K-user] ] How to iterate through list, Ayushi Rastogi, 06/10/2019