Nuprl Definition : Comm-next-guards
Comm-next-guards(l_comm;piD;cSt) ==
<<Comm-st(cSt)
, Comm-q(cSt) @ [<pDVguards-from(piD), pDVguards-preList(piD)>]
, Comm-req_from(cSt)
, Comm-waiting(cSt)
, Comm-count(cSt)>
, make-lg([<l_comm, mk-tagged("msg";pDVcontinue())>])
>
Definitions occuring in Statement :
Comm-count: Comm-count(cSt),
Comm-waiting: Comm-waiting(cSt),
Comm-req_from: Comm-req_from(cSt),
Comm-q: Comm-q(cSt),
Comm-st: Comm-st(cSt),
pDVguards-preList: pDVguards-preList(x),
pDVguards-from: pDVguards-from(x),
pDVcontinue: pDVcontinue(),
make-lg: make-lg(L),
append: as @ bs,
cons: [a / b],
nil: [],
pair: <a, b>,
token: "$token",
mk-tagged: mk-tagged(tg;x)
FDL editor aliases :
Comm-next-guards
Latex:
Comm-next-guards(l$_{comm}$;piD;cSt) ==
<<Comm-st(cSt)
, Comm-q(cSt) @ [<pDVguards-from(piD), pDVguards-preList(piD)>]
, Comm-req\_from(cSt)
, Comm-waiting(cSt)
, Comm-count(cSt)>
, make-lg([<l$_{comm}$, mk-tagged("msg";pDVcontinue())>])
>
Date html generated:
2015_07_23-AM-11_58_36
Last ObjectModification:
2012_08_30-PM-01_49_11
Home
Index