Nuprl Definition : RSC_NewVoters
RSC_NewVoters(Cmd) ==
Threshold-Combinator(RSC_new_proposal();RSC_Proposal(Cmd);RSC_init() <0, []>;RSC_onnewpropose();RSC_thr_out())
Definitions occuring in Statement :
RSC_new_proposal: RSC_new_proposal(),
RSC_Proposal: RSC_Proposal(Cmd),
RSC_onnewpropose: RSC_onnewpropose(),
RSC_thr_out: RSC_thr_out(),
RSC_init: RSC_init(),
Threshold-Combinator: Threshold-Combinator(R;X;init_state;accum;f),
apply: f a,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
RSC_NewVoters
RSC\_NewVoters(Cmd) ==
Threshold-Combinator(RSC\_new\_proposal();RSC\_Proposal(Cmd);RSC\_init()
ɘ, []>RSC\_onnewpropose();...)
Date html generated:
2012_02_20-PM-04_00_28
Last ObjectModification:
2012_02_02-PM-01_58_53
Home
Index