Nuprl Definition : rsc5_when_quorum

rsc5_when_quorum(Cmd;clients;cmdeq;coeff;flrs;locs) ==
  ni,loc,vt,state.
   if rsc5_newvote(Cmd) ni vt state then rsc5_roundout(Cmd;clients;cmdeq;coeff;flrs;locs) loc vt state else {} fi 


Definitions occuring in Statement :  rsc5_roundout: rsc5_roundout(Cmd;clients;cmdeq;coeff;flrs;locs),  rsc5_newvote: rsc5_newvote(Cmd),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  empty-bag: {}
FDL editor aliases :  rsc5_when_quorum
rsc5\_when\_quorum(Cmd;clients;cmdeq;coeff;flrs;locs)  ==
    \mlambda{}ni,loc,vt,state.
      if  rsc5\_newvote(Cmd)  ni  vt  state
      then  rsc5\_roundout(Cmd;clients;cmdeq;coeff;flrs;locs)  loc  vt  state
      else  \{\}
      fi 


Date html generated: 2012_02_20-PM-05_05_27
Last ObjectModification: 2012_02_02-PM-02_18_02

Home Index