Maude-help mailing list

[YUJIAN FU <yujian.fu AT aamu.edu>]

Dear Maude supportors:

The current madue file looks right for me. But there are the following 
problems I could not figure out:

1.  bad token init0
What is a bad token? How can I trace this problem?
2.  variable d0 is used before it  is bound in equation:     eq property1 = 
[](PinputA(d0, d1, d2, d3, d4, d5, d6, d7) -> <> PindexSA(3)) .
if I change this equation to be
      eq property1 = [](PinputA(d0, d1, d2, d3, d4, d5, d6, d7)  
PinputB(1,0,1,1) -> <> PindexSA(3)) .
It still cannot get through.
3.  didn't expect token PvalB:        eq property3 = [ ] ( PvalA ( 0 , 0 , 0 
, 0 , 1 , 0 , 1 , 1 ) PvalB <---*HERE*

I know these problems maybe trivial.  Is there a link for common debugging 
issues that I can read?
Would you please help me to take a look at this maude code?   The maude file 
was attached.

Yujian

Attachment: PMMC.maude
Description: PMMC.maude