Nuprl Definition : pv8_p1_ScoutOutput

pv8_p1_ScoutOutput(Cid;Op;accpts;eq_Cid) ==
  b.let f = ldr,z.
              let a,z = z 
              in let b',r = z 
                 in state.let waitfor,pvalues = pv8_p1_on_p1b(Cid;Op;eq_Cid) b <a, b', r> state 
                           in if eqof(union-deq(  Id;Unit;product-deq(;Id;IntDeq;IdDeq);unit-deq())) b b'
                              then if bag-size(waitfor) <z pv8_p1_threshold(accpts)
                                   then {pv8_p1_adopted'send(Cid;Op) ldr <b, pvalues>}
                                   else {}
                                   fi 
                              else {pv8_p1_preempted'send() ldr b'}
                              fi  in
         once-class(f@Loc|Loc,pv8_p1_p1b'base(Cid;Op), pv8_p1_ScoutState(Cid;Op;accpts;eq_Cid) b|)


Definitions occuring in Statement :  pv8_p1_ScoutState: pv8_p1_ScoutState(Cid;Op;accpts;eq_Cid),  pv8_p1_on_p1b: pv8_p1_on_p1b(Cid;Op;eq_Cid),  pv8_p1_adopted'send: pv8_p1_adopted'send(Cid;Op),  pv8_p1_preempted'send: pv8_p1_preempted'send(),  pv8_p1_p1b'base: pv8_p1_p1b'base(Cid;Op),  pv8_p1_threshold: pv8_p1_threshold(accpts),  concat-lifting-loc-2: f@Loc,  simple-loc-comb-2: F|Loc,X, Y|,  once-class: once-class(X),  id-deq: IdDeq,  Id: Id,  lt_int: i <z j,  ifthenelse: if b then t else f fi ,  let: let,  unit: Unit,  apply: f a,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  product: x:A  B[x],  int: ,  union-deq: union-deq(A;B;a;b),  product-deq: product-deq(A;B;a;b),  unit-deq: unit-deq(),  int-deq: IntDeq,  eqof: eqof(d),  bag-size: bag-size(bs),  single-bag: {x},  empty-bag: {}
FDL editor aliases :  pv8_p1_ScoutOutput pv8_p1_ScoutOutput
pv8\_p1\_ScoutOutput(Cid;Op;accpts;eq$_{Cid}$)  ==
    \mlambda{}b.let  f  =  \mlambda{}ldr,z.
                            let  a,z  =  z 
                            in  let  b',r  =  z 
                                  in  \mlambda{}state.let  waitfor,pvalues  =  pv8\_p1\_on\_p1b(Cid;Op;eq$_{Cid}$\000C)  b  <a,  b',  r>  state 
                                                      in  if  eqof(union-deq(\mBbbZ{}
                                                                  \mtimes{}  Id;Unit;product-deq(\mBbbZ{};Id;IntDeq;IdDeq);unit-deq())) 
                                                                  b 
                                                                  b'
                                                            then  if  bag-size(waitfor)  <z  pv8\_p1\_threshold(accpts)
                                                                      then  \{pv8\_p1\_adopted'send(Cid;Op)  ldr  <b,  pvalues>\}
                                                                      else  \{\}
                                                                      fi 
                                                            else  \{pv8\_p1\_preempted'send()  ldr  b'\}
                                                            fi    in
                  once-class(f@Loc|Loc,pv8\_p1\_p1b'base(Cid;Op),  pv8\_p1\_ScoutState(Cid;Op;accpts;eq$_\mbackslash{}\000Cff7bCid}$)  b|)


Date html generated: 2012_02_20-PM-07_29_17
Last ObjectModification: 2012_02_06-PM-01_46_47

Home Index