Nuprl Definition : ohc_v2_when_quorum2

ohc_v2_when_quorum2(Cmd;cmdeq;flrs;learners;locs) ==
  ni,cmd,loc,vt,state.
   if ohc_v2_newvote() ni vt state then ohc_v2_roundout2(Cmd;cmdeq;flrs;learners;locs) loc cmd vt state else {} fi 


Definitions occuring in Statement :  ohc_v2_roundout2: ohc_v2_roundout2(Cmd;cmdeq;flrs;learners;locs),  ohc_v2_newvote: ohc_v2_newvote(),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  empty-bag: {}
FDL editor aliases :  ohc_v2_when_quorum2
ohc\_v2\_when\_quorum2(Cmd;cmdeq;flrs;learners;locs)  ==
    \mlambda{}ni,cmd,loc,vt,state.
      if  ohc\_v2\_newvote()  ni  vt  state
      then  ohc\_v2\_roundout2(Cmd;cmdeq;flrs;learners;locs)  loc  cmd  vt  state
      else  \{\}
      fi 


Date html generated: 2012_02_20-PM-05_47_04
Last ObjectModification: 2012_02_17-PM-10_22_27

Home Index