Nuprl Definition : nysiad_MessageBagStateFun
nysiad_MessageBagStateFun(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;...;readyhdr;...;...;mf;msg2m;es;e) ==
nysiad_MessageBagState(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;...;...;mf;...)(e)
Definitions occuring in Statement :
nysiad_MessageBagState: nysiad_MessageBagState(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;...;...;mf;msg2m),
classfun: X(e)
FDL editor aliases :
nysiad_MessageBagStateFun
Latex:
nysiad\_MessageBagStateFun(M;add2baghdr;addwaitinghdr;...;deqM;...;...;...;...;...;mf;msg2m;es;e) ==
nysiad\_MessageBagState(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;...;...;...;...;...;mf;...)(e)
Date html generated:
2015_07_23-PM-03_43_37
Last ObjectModification:
2014_08_06-PM-03_30_13
Home
Index