Searched defs:iteRemover (Results 1 – 2 of 2) sorted by relevance
27 RemoveTermFormulas* iteRemover, in PreprocessingPassContext()
283 RemoveTermFormulas& iteRemover, in TheoryEngine()