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 :
Comm-st: Comm-st(cSt),
append: as @ bs,
Comm-q: Comm-q(cSt),
pDVguards-from: pDVguards-from(x),
pDVguards-preList: pDVguards-preList(x),
Comm-req_from: Comm-req_from(cSt),
Comm-waiting: Comm-waiting(cSt),
Comm-count: Comm-count(cSt),
make-lg: make-lg(L),
cons: [car / cdr],
pair: <a, b>,
mk-tagged: mk-tagged(tg;x),
token: "$token",
pDVcontinue: pDVcontinue(),
nil: []
FDL editor aliases :
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())>])
>
Date html generated:
2010_08_27-PM-09_37_55
Last ObjectModification:
2010_04_27-PM-03_34_46
Home
Index