SimpleConsensus1(t) ==
ThresholdComb1(
+ (
); + ( ); List ;
mlt_inning_test(t);mlt_nxt_inning();mlt_inning_step();
mlt_inning_val();mlt_simple_consensus_init())
Definitions :
ThresholdComb1: ThresholdComb1(A;B;S;test;nxt;step;b;init),
union: left + right,
product: x:A B[x],
list: type List,
int: ,
nat: ,
mlt_inning_test: mlt_inning_test(t),
mlt_nxt_inning: mlt_nxt_inning(),
mlt_inning_step: mlt_inning_step(),
mlt_inning_val: mlt_inning_val(),
mlt_simple_consensus_init: mlt_simple_consensus_init()
FDL editor aliases :
SimpleConsensus1
SimpleConsensus1(t) ==
ThresholdComb1(\mBbbZ{} + (\mBbbN{} \mtimes{} \mBbbN{} \mtimes{} \mBbbZ{});\mBbbN{} \mtimes{} \mBbbN{} \mtimes{} \mBbbZ{} + (\mBbbN{} \mtimes{} \mBbbZ{});\mBbbN{} \mtimes{} \mBbbZ{} List \mtimes{} \mBbbN{};mlt\_inning\_test(t);
mlt\_nxt\_inning();mlt\_inning\_step();mlt\_inning\_val();mlt\_simple\_consensus\_init())
Date html generated:
2010_08_27-PM-08_31_21
Last ObjectModification:
2010_06_24-AM-12_03_42
Home
Index