pisend?(x) ==  G(x) where   G(chan<val>) = tt  G(chan?(var)) = ff



Definitions :  pi_prefix_ind: pi_prefix_ind btrue: tt bfalse: ff
FDL editor aliases :  pisend?

pisend?(x)  ==    G(x)  where      G(chan<val>)  =  tt    G(chan?(var))  =  ff


Date html generated: 2010_08_27-PM-08_36_35
Last ObjectModification: 2010_02_11-PM-06_32_00

Home Index