Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Rodolfo,

Please, for future questions on Maude use the maude-help list. 

I don't think it makes much sense to a priori know the number of rewrites. 
Remember that there might be more than one path. You can calculate the 
shortest or the longest path, but you cannot assume a specific one. Maude 
does not provide any mechanism to provide such numbers. I suppose you can 
write a program doing that by exploring all possibilities. Another 
alternative might be to turn your equations into rules and use search. 

Kind regards,

Francisco

On 15/01/2013, at 01:27, Rodolfo Campos wrote:

> Hi,
> 
> I'm new to Maude and have a doubt which is giving me headaches. I've 
> defined a simple NATURAL NUMBERS module and want to know before evaluating 
> a Term for an unconditional equation or other how many times a rewrite is 
> going to be applied. For example:
> 
> > red operation(s(s(0))
> 
> What I want to know is how many times s is going to be resolved apriori... 
> In the above example, I should get something like 2.
> 
> Thank you very much in advance, regards,
> 
> Rodolfo.
> _______________________________________________
> Maude-users mailing list
> Maude-users AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-users