Nuprl Definition : pv11_p1_leader_adopted

pv11_p1_leader_adopted(Cmd;ldrs_uid) ==
  λloc,zu,z. let bnum,pvals = zu 
             in let ballot_num,active,proposals = z in 
                if pv11_p1_eq_bnums() bnum ballot_num
                then map(λsp.<bnum, sp>;pv11_p1_update_proposals(Cmd) proposals (pv11_p1_pmax(Cmd;ldrs_uid) pvals))
                else {}
                fi 


Definitions occuring in Statement :  pv11_p1_update_proposals: pv11_p1_update_proposals(Cmd),  pv11_p1_pmax: pv11_p1_pmax(Cmd;ldrs_uid),  pv11_p1_eq_bnums: pv11_p1_eq_bnums(),  map: map(f;as),  ifthenelse: if b then t else f fi ,  spreadn: spread3,  apply: f a,  lambda: λx.A[x],  spread: spread def,  pair: <a, b>,  empty-bag: {}
FDL editor aliases :  pv11_p1_leader_adopted
Latex:
pv11\_p1\_leader\_adopted(Cmd;ldrs$_{uid}$)  ==
    \mlambda{}loc,zu,z.  let  bnum,pvals  =  zu 
                          in  let  ballot$_{num}$,active,proposals  =  z  in 
                                if  pv11\_p1\_eq\_bnums()  bnum  ballot$_{num}$
                                then  map(\mlambda{}sp.<bnum,  sp>pv11\_p1\_update\_proposals(Cmd)  proposals 
                                                                                (pv11\_p1\_pmax(Cmd;ldrs$_{uid}$)  pvals))
                                else  \{\}
                                fi 


Date html generated: 2015_07_23-PM-04_33_31
Last ObjectModification: 2014_11_26-AM-11_30_20

Home Index