Searched refs:SigGetOtherEqnCode (Results 1 – 3 of 3) sorted by relevance
236 FunCode SigGetOtherEqnCode(Sig_p sig, FunCode f_code);
1165 FunCode SigGetOtherEqnCode(Sig_p sig, FunCode f_code) in SigGetOtherEqnCode() function
126 f_code = SigGetOtherEqnCode(terms->sig, form->args[0]->f_code); in troot_nnf()1130 f_code = SigGetOtherEqnCode(terms->sig, form->args[0]->f_code); in TFormulaSimplify()