---

int_consensus_accum(num) ==
  s,r.consensus-accum-num(num;L.strict-majority-or-max(L);s;r)

---

Definitions :  consensus-accum-num: consensus-accum-num(num;f;s;r),  lambda: x.A[x],  strict-majority-or-max: strict-majority-or-max(L)
FDL editor aliases :  int_consensus_accum

---

int\_consensus\_accum(num)  ==    \mlambda{}s,r.consensus-accum-num(num;\mlambda{}L.strict-majority-or-max(L);s;r)


Date html generated: 2010_08_27-AM-12_57_44
Last ObjectModification: 2009_12_23-PM-03_32_46

Home Index