---

deliver-msg-to-comp(t;m;x;S;C) ==
  let Cs,L = S in
    let z,P = C in
      if z = x
     then let Q,ext = Process-apply(P;m) in
            <[<z, Q> / Cs], lg-append(L;add-cause(<t, x>;ext))>
     else <[C / Cs], L>
     fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  eq_id: a = b,  spread: spread def,  Process-apply: Process-apply(P;m),  lg-append: lg-append(g1;g2),  add-cause: add-cause(ev;ext),  pair: <a, b>,  cons: [car / cdr]
FDL editor aliases :  deliver-msg-to-comp

---

deliver-msg-to-comp(t;m;x;S;C)  ==
    let  Cs,L  =  S  in
        let  z,P  =  C  in
            if  z  =  x
          then  let  Q,ext  =  Process-apply(P;m)  in
                        <[<z,  Q>  /  Cs],  lg-append(L;add-cause(<t,  x>ext))>
          else  <[C  /  Cs],  L>
          fi 


Date html generated: 2010_08_27-PM-03_51_33
Last ObjectModification: 2010_04_27-PM-02_59_16

Home Index