Maude-help mailing list

["MANSOORM" <MANSOORM AT modares.ac.ir>]

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