Nuprl Definition : ohc_v1_when_quorum2

ohc_v1_when_quorum2(Cmd;cmdeq;flrs;learners;locs) ==
  ni,cmd,loc,vt,state.
   if ohc_v1_newvote() ni vt state then ohc_v1_roundout2(Cmd;cmdeq;flrs;learners;locs) loc cmd vt state else {} fi 


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


Date html generated: 2012_02_20-PM-05_22_37
Last ObjectModification: 2012_02_13-PM-12_56_12

Home Index