Nuprl Definition : pv8_p2_init_replica
pv8_p2_init_replica(Cid;Op;RepState;init_rstate) ==
<init_rstate, pv8_p2_init_slot_num(), pv8_p2_init_proposals(Cid;Op), pv8_p2_init_decisions(Cid;Op)>
Definitions occuring in Statement :
pv8_p2_init_decisions: pv8_p2_init_decisions(Cid;Op),
pv8_p2_init_proposals: pv8_p2_init_proposals(Cid;Op),
pv8_p2_init_slot_num: pv8_p2_init_slot_num(),
pair: <a, b>
FDL editor aliases :
pv8_p2_init_replica
pv8_p2_init_replica
pv8\_p2\_init\_replica(Cid;Op;RepState;init$_{rstate}$) ==
<init$_{rstate}$, pv8\_p2\_init\_slot\_num(), pv8\_p2\_init\_proposals(Cid;Op), pv8\_p\000C2\_init\_decisions(Cid;Op)>
Date html generated:
2012_02_20-PM-07_39_18
Last ObjectModification:
2012_02_06-PM-03_06_52
Home
Index