K-user mailing list

[Ulrich Kühne <ulrichk AT informatik.uni-bremen.de>]

Hi,

As far as I know, in Maude, there is the owise keyword, meaning that an 
equation is only tried if no other applies. This comes handy for default 
transitions. How can I do this in K? Is there some annotation that I can 
add like [transition] such that my rule is only applied if all others fail?

What I would like to do is some sort of cleaning up after all rules get 
stuck, but of course I do not want to see half-complete results. So I 
need to avoid the cleaning up in a state where still rules could be 
applied. Maybe I could do this with guards ("when ..."), but since the 
conditions of my rules depend on deeply nested structures, this would be 
a big pain.

Thanks for any hint.
Ulrich


PS: last time I did not get any answer via mail, but had to browse the 
archive manually. Can someone fix this? Maybe it's because I checked 
"daily digest", but still I would like to have answers to my questions 
directly.