Searched defs:atomsTo (Results 1 – 1 of 1) sorted by relevance
1730 void TheoryEngine::ensureLemmaAtoms(const std::vector<TNode>& atoms, theory::TheoryId atomsTo) { in ensureLemmaAtoms()1799 theory::TheoryId atomsTo) { in lemma()