k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] How to Remove a Key from a Map

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] How to Remove a Key from a Map
Date: Fri, 24 Feb 2012 00:07:33 +0100
Authentication-results: mr.google.com; spf=pass (google.com: domain of hossein.haeri AT gmail.com designates 10.236.80.4 as permitted sender) smtp.mail=hossein.haeri AT gmail.com; dkim=pass header.i=hossein.haeri AT gmail.com
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

Hi Traian,

> There are two ways.

Cool! Both work. :)

> One suggestion would be to check the k-prelude.maude from
> $K_BASE/core/maude/lib directory for the syntax and definitions of the
> basic Set/Map constructs. This would require
> some familiarity with Maude, though.

Had a look and it's well beyond me at the moment. I wonder how you do
value lookup for an existing key now?

TIA,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

[K-user] How to Remove a Key from a Map, Seyed H. HAERI (Hossein), 02/23/2012
- <Possible follow-up(s)>
- Re: [K-user] How to Remove a Key from a Map, Traian Florin Șerbănuță, 02/23/2012
  - Re: [K-user] How to Remove a Key from a Map, Seyed H. HAERI (Hossein), 02/23/2012
  - Message not available
    - Re: [K-user] How to Remove a Key from a Map, Traian Florin Șerbănuță, 02/23/2012
      - Re: [K-user] How to Remove a Key from a Map, Seyed H. HAERI (Hossein), 02/24/2012