Nuprl Definition : pv8_p1_AcceptorState
pv8_p1_AcceptorState(Cid;Op;eq_Cid;ldrs_uid) ==
SM2-class-du(
l.{pv8_p1_init_acceptor(Cid;Op)};
<pv8_p1_on_p1a(Cid;Op;ldrs_uid), pv8_p1_p1a'base()>;
<pv8_p1_on_p2a(Cid;Op;eq_Cid;ldrs_uid), pv8_p1_p2a'base(Cid;Op)>)
Definitions occuring in Statement :
pv8_p1_on_p2a: pv8_p1_on_p2a(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_on_p1a: pv8_p1_on_p1a(Cid;Op;ldrs_uid),
pv8_p1_init_acceptor: pv8_p1_init_acceptor(Cid;Op),
pv8_p1_p2a'base: pv8_p1_p2a'base(Cid;Op),
pv8_p1_p1a'base: pv8_p1_p1a'base(),
SM2-class-du: SM2-class-du,
lambda: x.A[x],
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
pv8_p1_AcceptorState
pv8_p1_AcceptorState
pv8\_p1\_AcceptorState(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) ==
SM2-class-du(\mlambda{}l.\{pv8\_p1\_init\_acceptor(Cid;Op)\};
<pv8\_p1\_on\_p1a(Cid;Op;ldrs$_{uid}$), pv8\_p1\_p1a'base()>
<pv8\_p1\_on\_p2a(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$\000C), pv8\_p1\_p2a'base(Cid;Op)>)
Date html generated:
2012_02_20-PM-07_25_05
Last ObjectModification:
2012_02_06-PM-01_44_01
Home
Index