Maude-help mailing list

[wilson <wmtan00 AT gmail.com>]

Hi guys,

I don't know if this is the proper venue for this since this problem 
involves RTMaude a bit.

I have a set of equations such as

eq [ J | < Q ; X bud T , R > ] ( [ < Y activate T , S ; P > ] ( M ) | N 
) = [ < Q ; X , Y , R > ] ( [ < S ; P > ] ( M ) ) | [J](N) .

(capital letters are variables, defined earlier in the Maude code)

Problem is I want Maude to *conditionally* apply an equation based on 
the value of a (state) variable contained within a timed object 
module(hence, the involvement of RTMaude). Is this possible? Also, is it 
possible to "time" an equation application? As I understand it, this is 
doable for rules - how about equations?

Any insights, pointers and suggestions would be greatly appreciated.

Thanks!

-wilson