consensus-accum-state(A;L) ==
list_accum(s,e.consensus-accum(s;e);<0, 
, mk_fpf(A;
b.<0, ff>)>;L)
Definitions :
list_accum: list_accum(x,a.f[x; a];y;l),
consensus-accum: consensus-accum(s;e),
fpf-empty: ,
mk_fpf: mk_fpf(L;f),
lambda: x.A[x],
pair: <a, b>,
natural_number: $n,
bfalse: ff
FDL editor aliases :
consensus-accum-state
consensus-accum-state(A;L) == list\_accum(s,e.consensus-accum(s;e);ɘ, \motimes{}, mk\_fpf(A;\mlambda{}b.ɘ, ff>)>L)
Date html generated:
2010_08_27-AM-12_55_23
Last ObjectModification:
2009_12_23-PM-03_30_44
Home
Index