maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] A question

From: "MANSOORM" <MANSOORM AT modares.ac.ir>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] A question
Date: Tue, 07 Mar 2006 20:05:58 +0430
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi there,
In a list of multi-type elements,
I want to mark the elements of the same type with an ascending counter.
That is, each element anywhere in the list takes a label that indicates
how many elements of the same type exist before this one.
following is an example:
The list: [ A A B C A A C D B A B B D ]
Corresponding
counter labels: [ 0 1 0 0 2 3 1 0 1 4 2 3 1 ]
How do I this with maude ?

Any help is appreciated
--------------------------
Muharram Mansoorizadeh
Ph.D. Student,Computer Sci.
TMU-TEHRAN,IRAN
http://www.modares.ac.ir

[Maude-help] A question, MANSOORM, 03/07/2006
- Re: [Maude-help] A question, Steven Eker, 03/09/2006