Home
last modified time | relevance | path

Searched refs:d_tform_remover (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h455 RemoveTermFormulas& d_tform_remover; variable
886 RemoveTermFormulas* getTermFormulaRemover() { return &d_tform_remover; } in getTermFormulaRemover()
H A Dtheory_engine.cpp313 d_tform_remover(iteRemover), in TheoryEngine()
1834 d_tform_remover.run(additionalLemmas.ref(), in lemma()