---

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

---

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

---

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


Date html generated: 2010_08_26-PM-11_39_09
Last ObjectModification: 2008_02_27-PM-09_33_32

Home Index