Maude-help mailing list

[Javi Espert <jespert AT dsic.upv.es>]

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