Searched refs:d_tform_remover (Results 1 – 2 of 2) sorted by relevance
455 RemoveTermFormulas& d_tform_remover; variable886 RemoveTermFormulas* getTermFormulaRemover() { return &d_tform_remover; } in getTermFormulaRemover()
313 d_tform_remover(iteRemover), in TheoryEngine()1834 d_tform_remover.run(additionalLemmas.ref(), in lemma()