Maude-help mailing list

[Petr Vrchlavsky <vrchlavsky.petr AT gmail.com>]

Hello, thanks for every previous answers, they were very helpful. But I have a long way in front of me to get into the maude language.

I am curious, how can I compare two Configurations. Let say that I have configuration A with two objects and one message:

     < 'car1 : Car | .... > < 'car2 : Car | > addWheel('car1, wheel)

and Configuration B with two objects, this Configuration serves as expected result of evalution of Configuration A:

     < 'car1 : Car | wheels : wheel, .... > < 'car2 : Car | >

Can I do something like this to get a Bool value for example to determine if the evalution of configuration A has been done correctly? Or is my approach incorrect?

     (rew < 'car1 : Car | .... > < 'car2 : Car | > addWheel('car1, wheel) == < 'car1 : Car | wheels : wheel, .... > < 'car2 : Car | > .)

When I try to do something like the example above, I get an error message saying parse error... no parse for...

But when I try to compare two objects:

     (rew < 'car1 : Car | .... > == < 'car1 : Car | .... > .) 

I get a Bool value as a result.

It can be assumed that I do not have a wrong Messages or equations declarations.

I would be very greatful for your help.

Best regards, Peter.