Maude-help mailing list

[Jon Haugsand <jonhaug AT ifi.uio.no>]

Hi,

Thanks for previous help.  Here is a question I do not understand.
Included is short Maude specification where an Int (from the INT
module) is matched to a sequence of integers as defined in included
module.  Part of trace is follows here:

*********** equation
eq seqtotree(N) = tree(ntree, N, ntree) .
N --> 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 
3
    2 1
seqtotree(29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 
5
    4 3 2 1)
--->
tree(ntree, 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 
6
    5 4 3 2 1, ntree)

Attachment: short.maude
Description: Maude specification

What is wrong?

-- 
Jon Haugsand
  Dept. of Informatics, Univ. of Oslo, Norway, 
mailto:jonhaug AT ifi.uio.no
  http://www.ifi.uio.no/~jonhaug/, Phone: +47 22 85 24 92