Searched refs:getTermFormulaRemover (Results 1 – 2 of 2) sorted by relevance
886 RemoveTermFormulas* getTermFormulaRemover() { return &d_tform_remover; } in getTermFormulaRemover() function
1551 d_qe->getTheoryEngine()->getTermFormulaRemover()->run(lems, iteSkolemMap); in registerCounterexampleLemma()