k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[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: [K-user] How to Remove a Key from a Map
Date: Thu, 23 Feb 2012 17:06:34 +0100
Authentication-results: mr.google.com; spf=pass (google.com: domain of hossein.haeri AT gmail.com designates 10.236.184.202 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>

Dear all,

What's the syntax for removing the key X from Map M? I tried all what
I could think of and got error messages: M[X |-> .], M[X |-> _|_],
M[./X], and M[_|_/X]. Is that available at all by the way?

More fundamentally, how can I lookup the interfaces for the built-in
types? I tried pl-builtins.maude and couldn't find any occurrence of
the string literal "Map".

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