Searched refs:remove_literals_from_lvl (Results 1 – 2 of 2) sorted by relevance
1901 void remove_literals_from_lvl(scoped_literal_vector & lemma, unsigned lvl) { in remove_literals_from_lvl() function2050 remove_literals_from_lvl(m_lemma, max_lvl); in resolve()