Nuprl Definition : nysiad_QueueStateFun
nysiad_QueueStateFun(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;x;es;e) ==
  nysiad_QueueState(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) x(e)
Definitions occuring in Statement : 
nysiad_QueueState: nysiad_QueueState(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf)
, 
classfun: X(e)
, 
apply: f a
FDL editor aliases : 
nysiad_QueueStateFun
Latex:
nysiad\_QueueStateFun(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;mf;x;es;e)  ==
    nysiad\_QueueState(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf) 
    x(e)
Date html generated:
2016_05_17-PM-01_28_10
Last ObjectModification:
2014_08_06-PM-03_32_52
Theory : event-logic-applications
Home
Index