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