Nuprl Definition : pv11_p1_scout_output

pv11_p1_scout_output(Cmd;accpts;mf) ==
  λbnum,ldr,zp,z. let a,b,b',pvals = zp 
                  in let waitfor,pvalues = z 
                     in if pv11_p1_eq_bnums() bnum b
                        then if pv11_p1_eq_bnums() bnum b'
                             then if #(waitfor) <z pv11_p1_threshold(accpts)
                                  then {pv11_p1_adopted'send(Cmd;mf) ldr <bnum, pvalues>}
                                  else {}
                                  fi 
                             else {pv11_p1_preempted'send(Cmd;mf) ldr b'}
                             fi 
                        else {}
                        fi   


Definitions occuring in Statement :  pv11_p1_adopted'send: pv11_p1_adopted'send(Cmd;mf),  pv11_p1_preempted'send: pv11_p1_preempted'send(Cmd;mf),  pv11_p1_threshold: pv11_p1_threshold(accpts),  pv11_p1_eq_bnums: pv11_p1_eq_bnums(),  ifthenelse: if b then t else f fi ,  lt_int: i <z j,  spreadn: spread4,  apply: f a,  lambda: λx.A[x],  spread: spread def,  pair: <a, b>,  bag-size: #(bs),  single-bag: {x},  empty-bag: {}
FDL editor aliases :  pv11_p1_scout_output
Latex:
pv11\_p1\_scout\_output(Cmd;accpts;mf)  ==
    \mlambda{}bnum,ldr,zp,z.  let  a,b,b',pvals  =  zp 
                                    in  let  waitfor,pvalues  =  z 
                                          in  if  pv11\_p1\_eq\_bnums()  bnum  b
                                                then  if  pv11\_p1\_eq\_bnums()  bnum  b'
                                                          then  if  \#(waitfor)  <z  pv11\_p1\_threshold(accpts)
                                                                    then  \{pv11\_p1\_adopted'send(Cmd;mf)  ldr  <bnum,  pvalues>\}
                                                                    else  \{\}
                                                                    fi 
                                                          else  \{pv11\_p1\_preempted'send(Cmd;mf)  ldr  b'\}
                                                          fi 
                                                else  \{\}
                                                fi     


Date html generated: 2015_07_23-PM-04_32_37
Last ObjectModification: 2014_11_26-AM-11_28_54

Home Index