Skip to Content.

Sympa Menu

k-user - [K-user] anywhere vs ...

List Options Menu

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] anywhere vs ...

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] anywhere vs ...
Date: Thu, 20 Jun 2013 16:54:47 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear all

Is there a difference between these two rules?

rule A => B [anywhere]

rule <k>... A=B ...</k>

Thank you

Emmanuel

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

Archive powered by MHonArc 2.6.16.