K-user mailing list

[Traian Florin Șerbănuță <tserban2 AT illinois.edu>]

Hi Hossein,

2012/2/23 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>

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?

As you might have guessed from the previous answer, there are two ways, again :-)

The first, is using direct matching.  For example the rule:

rule <k> X => V ...</k>  <state>... X |-> V ...</state>

matches X on top of the <k> cell and replaces it with the value V which X is mapped to in the state.

Alternatively, you can use the built-in map retrieval function for that, like this:

rule <k> X => Map(X) ...</k>  <state> Map </state>

hope this helps.

best wishes,

- traian

 

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user