pircv?(x) ==  G(x) where   G(chan<val>) = ff  G(chan?(var)) = tt
Definitions : 
pi_prefix_ind: pi_prefix_ind, 
bfalse: ff, 
btrue: tt
FDL editor aliases : 
pircv?
pircv?(x)  ==    G(x)  where      G(chan<val>)  =  ff    G(chan?(var))  =  tt
Date html generated:
2010_08_27-PM-08_36_44
Last ObjectModification:
2010_02_11-PM-06_33_01
Home
Index