Nuprl Definition : m_ping_pong_P
m_ping_pong_P(locs;threshold) ==
z,z.locs@|Loc, m_ping_pong_Start()| >z> m_ping_pong_Handler() z
|| once-class(m_ping_pong_Start() >z> m_ping_pong_Mem(threshold) z)
Definitions occuring in Statement :
m_ping_pong_Mem: m_ping_pong_Mem(threshold),
m_ping_pong_Handler: m_ping_pong_Handler(),
m_ping_pong_Start: m_ping_pong_Start(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
once-class: once-class(X),
parallel-class: X || Y,
bind-class: X >x> Y[x],
apply: f a,
lambda: x.A[x]
FDL editor aliases :
m_ping_pong_P
m\_ping\_pong\_P(locs;threshold) ==
\mlambda{}z,z.locs@|Loc, m\_ping\_pong\_Start()| >z> m\_ping\_pong\_Handler() z
|| once-class(m\_ping\_pong\_Start() >z> m\_ping\_pong\_Mem(threshold) z)
Date html generated:
2012_02_20-PM-06_24_52
Last ObjectModification:
2012_02_02-PM-02_48_54
Home
Index