Maude-help mailing list

[Matthew Rocklin <mrocklin AT cs.uchicago.edu>]

Thanks for the response Javi!

So I would need to do something like the following?

var n : Nat .

var s : String .

var f : Float .

eq F("a", n, s, f) = F("A", n, s, f) . 

My operations (like F) are relatively involved so doing this sort of thing is undesirable. Here is an example operation so you understand my situation

sort Array .

op GEMM : Char Char Nat Nat Nat Float Array Nat Array Nat Float Array Nat

           -> Array .

an equation of the form listed above looks like the following

eq GEMM("N", c, n, m, o, alpha, transpose(A), p, B, q, beta, C, r) 

 = GEMM("Y", c, n, m, o, alpha,           A , p, B, q, beta, C, r) .

I think the extra variables obfuscate the meaning of this equation. Any other ideas or is this the best I can do?

On Fri, May 11, 2012 at 10:30 AM, Javi Espert <jespert AT dsic.upv.es> wrote:

Hi,

There is no such a thing as a wildcard symbol in Maude. However, you can accomplish the same goal by placing fresh variables wherever you would write a wildcard. A variable is fresh if it doesn't appear anywhere else in the _expression_.

Best regards,

Javi Espert

2012/5/11 Matthew Rocklin <mrocklin AT cs.uchicago.edu>

I'm looking for a wildcard symbol. 

I.e. imagine I have an operation like this

op F : Char Nat String Float -> Bool .

And I want a rule that says, if the first char is an 'a', make it an "A". I want to write this rule like this:

eq F("a", _, _, _) = F("A", _, _, _) .

Is there a clean way to do this in Maude?

Best,

-- 

Matthew Rocklin

University of Chicago

Computer Science PhD Student

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

--

Matthew Rocklin

University of Chicago

Computer Science PhD Student