Maude-help mailing list

[Ich bin es <br_marty AT yahoo.com>]

i run into some difficulties running standard examples
with views, on linux and sun with maude and fullmaude
2.0

im only interested in paramterization within fullmaude
2.0

the views seem to be syntactically correct, but after
loading the view no success (nor error) is reported
after the view, nor does any more rewrites take place,
hence any following module is noted but not introduced
and consequently no reduce command will be executed

it concerns the standard graph example with an
instantiation of the Graph theory by some concrete
graph through the obvious view

there must be something fundamentally/stupidly wrong,
but what?

the code...
(fth GRAPH is
        sorts Edge Node .
        ops s t : Edge -> Node .
 endfth)

(fmod GRAPH1 is
        sorts N E .
        ops s t : E -> N .
            
    ops a b c d : ->  N .
    ops aa ab bc bd ca : ->  E .

    eq  s(aa) = a .
    eq  t(aa) = a .
    eq  s(ab) = a .
    eq  t(ab) = b .
    eq  s(bc) = b .
    eq  t(bc) = c .
    eq  s(bd) = b .
    eq  t(bd) = d .
    eq  s(ca) = c .
    eq  t(ca) = a .
 endfm)

(view Graph from GRAPH to GRAPH1 is
    sort Edge to E .
    sort Node to N .
 endv)

________________________________________________________________________
Download Yahoo! Messenger now for a chance to win Live At Knebworth DVDs
http://www.yahoo.co.uk/robbiewilliams