Searched refs:TBInsertRepl (Results 1 – 3 of 3) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_termbanks.h | 138 Term_p TBInsertRepl(TB_p bank, Term_p term, DerefType deref, Term_p old, Term_p repl);
|
| H A D | cte_termbanks.c | 597 Term_p TBInsertRepl(TB_p bank, Term_p term, DerefType deref, Term_p old, Term_p repl) in TBInsertRepl() function
626 t->args[i] = TBInsertRepl(bank, term->args[i], deref, old, repl); in TBInsertRepl()
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_eqn.c | 1124 lterm = TBInsertRepl(bank, eq->lterm, DEREF_ALWAYS, old, repl); in EqnCopyRepl()
1125 rterm = TBInsertRepl(bank, eq->rterm, DEREF_ALWAYS, old, repl); in EqnCopyRepl()
|