---

processChoose(l_comm) ==
  RecProcess([];seen,i.if pDVrequest?(i)
  then let trip = pDVrequest-rndv2(i) in
        let cntr = pDVrequest-counter(i) in
        if deq-member(NatDeq;cntr;seen)
        then <seen, make-lg([])>
        else <[cntr / seen]
             , make-lg([<l_comm, mk-tagged("msg";pDVselex(trip))>])
             >
        fi 
  else <seen, make-lg([])>
  fi )

---

Definitions :  rec-process: RecProcess(s0;s,m.next[s; m]),  pDVrequest?: pDVrequest?(x),  pDVrequest-rndv2: pDVrequest-rndv2(x),  let: let,  pDVrequest-counter: pDVrequest-counter(x),  ifthenelse: if b then t else f fi ,  deq-member: deq-member(eq;x;L),  nat-deq: NatDeq,  cons: [car / cdr],  mk-tagged: mk-tagged(tg;x),  token: "$token",  pDVselex: pDVselex(rndv1),  pair: <a, b>,  make-lg: make-lg(L),  nil: []
FDL editor aliases :  processChoose

---

processChoose(l$_{comm}$)  ==
    RecProcess([];seen,i.if  pDVrequest?(i)
    then  let  trip  =  pDVrequest-rndv2(i)  in
                let  cntr  =  pDVrequest-counter(i)  in
                if  deq-member(NatDeq;cntr;seen)
                then  <seen,  make-lg([])>
                else  <[cntr  /  seen],  make-lg([<l$_{comm}$,  mk-tagged("msg";pDVselex(trip\000C
))>])>
                fi 
    else  <seen,  make-lg([])>
    fi  )


Date html generated: 2010_08_27-PM-08_45_28
Last ObjectModification: 2010_04_27-PM-03_20_17

Home Index