Maude-help mailing list

[Daniel Romero <danielomarromero AT gmail.com>]

Hi
You not need to write a rule in this way.
Maude has a "powerfull" pattern matching.

this rule
 crl [t00] : valA0(a0,a1,a2,a3,a4,a5,a6,a7) valB0(b0,b1,b2,b3)
 =>sum0(0,0,0,0,0,0,0,0) if b3 === 0 .

can be write as follows:

rl [t00] : valA0(a0,a1,a2,a3,a4,a5,a6,a7) valB0(b0,b1,b2,0)  => 
sum0(0,0,0,0,0,0,0,0)  .

>  also space after => is necessary....
yes

please, for typos in syntax you can read this link
http://maude.cs.uiuc.edu/primer/

best wishes
Daniel


rza AT Cs.Nott.AC.UK
 wrote:
> Hi,
>   does Maude support equality testing using === or == please check it, e.g.,
>
> crl [t00] : valA0(a0,a1,a2,a3,a4,a5,a6,a7) valB0(b0,b1,b2,b3) 
> =>sum0(0,0,0,0,0,0,0,0) if b3 === 0 .
>
>  also space after => is necessary....
>
> best,
>   --Rza
>
> On Jul 14 2010, YUJIAN FU wrote:
>
> > Dear Maude supportors:
> >
> > I got a problem for my current maude file. I can load it without any 
> > problem, but when I reduce on some property, nothing happens. Also, 
> > debugging is a problem for me now. When I set trace on, run debug reduce 
> > modelCheck(init1, property1), still nothing happens. What should I do? 
> > The maude file was attached. Really appreciate for your help
> >
> > Yujian Fu
> > Alabama A&M University
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help