consensus-accum-num-state(t;f;v0;L) ==
list_accum(s,r.consensus-accum-num((2 * t) + 1;f;s;r);<ff, 0, [], [], v0>;L)
Definitions :
list_accum: list_accum(x,a.f[x; a];y;l),
consensus-accum-num: consensus-accum-num(num;f;s;r),
add: n + m,
multiply: n * m,
bfalse: ff,
natural_number: $n,
pair: <a, b>,
nil: []
FDL editor aliases :
consensus-accum-num-state
consensus-accum-num-state(t;f;v0;L) ==
list\_accum(s,r.consensus-accum-num((2 * t) + 1;f;s;r);<ff, 0, [], [], v0>L)
Date html generated:
2010_08_27-AM-12_57_59
Last ObjectModification:
2009_12_23-PM-03_33_03
Home
Index