k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] anywhere vs ...

From: Stefan Ciobaca <stefan.ciobaca AT gmail.com>
To: Emmanuel Castro <emmanuel.castro AT laposte.net>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] anywhere vs ...
Date: Thu, 20 Jun 2013 18:32:52 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

> Is there a difference between these two rules?
>
> rule A => B [anywhere]
>
> rule <k>... A=B ...</k>

I'm assuming you meant "rule <k>... A=>B ...</k>" for the second rule.

The first rule will search for "A"s everywhere in the configuration,
not just in the <k> cell and it will replace them with "B"s.

For the second rule, you have to know that the <k> cell is always of
the form T1 ~> T2 ~> ... ~> Tn (with n >= 0). The second rule will
replace any Ti that matches A with B.

Stefan

[K-user] anywhere vs ..., Emmanuel Castro, 06/20/2013
- Re: [K-user] anywhere vs ..., Stefan Ciobaca, 06/20/2013