Home
last modified time | relevance | path

Searched refs:SigGetOtherEqnCode (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_signature.h236 FunCode SigGetOtherEqnCode(Sig_p sig, FunCode f_code);
H A Dcte_signature.c1165 FunCode SigGetOtherEqnCode(Sig_p sig, FunCode f_code) in SigGetOtherEqnCode() function
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_tcnf.c126 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()