sc-rules(voters;clients) ==
[(sc-Archive():
) ==
i,x.x=> (``sc vote``:{
| tr.let a,b,c = tr in
0 
z a 
0 z b}) @ x.voters;
(sc-Learn(): ) ==i,x.x=> (``sc consensus``:{
| tr.tt}) @ x.clients]
Definitions :
nil: [],
lambda: x.A[x],
btrue: tt,
int: ,
product: x:A B[x],
token: "$token",
cons: [car / cdr],
nat: ,
sc-Learn: sc-Learn(),
mk-prop-rule: (X:T) ==f=> (hdr:{typ | P}) @ g,
natural_number: $n,
le_int: i z j,
band: p q,
spreadn: spread3,
sc-Archive: sc-Archive()
FDL editor aliases :
sc-rules
sc-rules(voters;clients) ==
[(sc-Archive():\mBbbN{} \mtimes{} \mBbbN{} \mtimes{} \mBbbZ{}) ==\mlambda{}i,x.x=> (``sc vote``:\{\mBbbZ{}
\mtimes{} \mBbbZ{}
\mtimes{} \mBbbZ{} | \mlambda{}tr.let a,b,c = tr in
0 \mleq{}z a \mwedge{}\msubb{} 0 \mleq{}z b\}) @ \mlambda{}x.voters;
(sc-Learn():\mBbbN{} \mtimes{} \mBbbZ{}) ==\mlambda{}i,x.x=> (``sc consensus``:\{\mBbbZ{} \mtimes{} \mBbbZ{} | \mlambda{}tr.tt\}) @ \mlambda{}x.clients]
Date html generated:
2010_08_30-AM-12_59_00
Last ObjectModification:
2010_08_23-PM-01_42_25
Home
Index