Home
last modified time | relevance | path

Searched refs:SigGetNewPredicateCode (Results 1 – 5 of 5) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_def_handling.c265 def_pred = SigGetNewPredicateCode(store->terms->sig, 0); in GetDefinitions()
303 def_pred = SigGetNewPredicateCode(store->terms->sig, 0); in GetDefinitions()
H A Dccl_splitting.c326 new_pred = SigGetNewPredicateCode(bank->sig, in clause_split_general()
/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_signature.h241 FunCode SigGetNewPredicateCode(Sig_p sig, int arity);
H A Dcte_termtypes.c143 handle->f_code = SigGetNewPredicateCode(sig, arity); in TermAllocNewSkolem()
H A Dcte_signature.c1220 FunCode SigGetNewPredicateCode(Sig_p sig, int arity) in SigGetNewPredicateCode() function