maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] metaXmatch & getContext

From: Francisco Durán <duran AT lcc.uma.es>
To: Francisco Durán <duran AT lcc.uma.es>
Cc: Maude Help Mailing List <maude-help AT maude.cs.uiuc.edu>
Subject: Re: [Maude-help] metaXmatch & getContext
Date: Tue, 16 Dec 2008 10:37:21 +0100
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

The important equation was missing...

fmod FOO is
pr META-LEVEL .

var F : Qid .
var C : Constant .
var V : Variable .
vars GTL GTL' : GTermList .
var T : Term .

op newTerm : Context Term -> Term .
eq newTerm(F[GTL], T) = F[newTerm(GTL, T)] .
eq newTerm(C, T) = C .
eq newTerm(V, T) = V .
eq newTerm([], T) = T .
ceq newTerm((GTL, GTL'), T)
= (newTerm(GTL, T), newTerm(GTL', T))
if GTL =/= empty /\ GTL' =/= empty .
endfm

red newTerm('`[_`,_`,_`]['null.Marking,'nullTransition.Trans,[]], 'nullThread.Thread) .

Paco

[Maude-help] metaXmatch & getContext, Pierre Fourès, 12/15/2008
- Re: [Maude-help] metaXmatch & getContext, Francisco Durán, 12/16/2008
  - Re: [Maude-help] metaXmatch & getContext, Francisco Durán, 12/16/2008
    - Re: [Maude-help] metaXmatch & getContext, Pierre Fourès, 12/18/2008
      - Re: [Maude-help] metaXmatch & getContext, Francisco Durán, 12/19/2008