---

rcvset(a;b;S;k) ==
  isrcv(k)
   tag(k) = b
   lname(lnk(k)) = a
   deq-member(IdDeq;source(lnk(k));S)
   deq-member(IdDeq;destination(lnk(k));S)

---

Definitions :  isrcv: isrcv(k),  tagof: tag(k),  eq_id: a = b,  lname: lname(l),  band: p  q,  lsrc: source(l),  deq-member: deq-member(eq;x;L),  id-deq: IdDeq,  ldst: destination(l),  lnk: lnk(k)
FDL editor aliases :  rcvset

---

rcvset(a;b;S;k)  ==
    isrcv(k)
    \mwedge{}\msubb{}  tag(k)  =  b
    \mwedge{}\msubb{}  lname(lnk(k))  =  a
    \mwedge{}\msubb{}  deq-member(IdDeq;source(lnk(k));S)
    \mwedge{}\msubb{}  deq-member(IdDeq;destination(lnk(k));S)


Date html generated: 2010_08_26-PM-11_38_51
Last ObjectModification: 2008_02_27-PM-09_33_15

Home Index