Next:
Associativity and idempotency
Up:
Debugging and Troubleshooting
Previous:
Performance note
Contents
Traps and known problems
We list some commonly encountered problems with Maude.
Subsections
Associativity and idempotency
Segmentation fault (core dumped)
Bare variable lefthand sides
Operator overloading and associativity
Preregularity and equational attributes
Collapse theories
One-sided identities and associativity
Memberships for associative operators
Memberships for iterated operators
The Maude Team
