k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] What does the [structural] attribute accomplish?

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] What does the [structural] attribute accomplish?
Date: Wed, 17 Jul 2013 00:17:09 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

It is stated in K samples that structural rules do not count as transitions. Practically it seems that, transitions count only when rules are tagged [transition] or when we add them to the -transition option of Kompile.

Does adding [structural] is purely conventional, or does it yield to a special way of compiling rules?

Manu

[K-user] What does the [structural] attribute accomplish?, Emmanuel Castro, 07/16/2013
- Re: [K-user] What does the [structural] attribute accomplish?, Dorel Lucanu, 07/17/2013