Searched refs:m_log_lemmas (Results 1 – 2 of 2) sorted by relevance
208 bool m_log_lemmas; member273 m_log_lemmas = p.log_lemmas(); in updt_params()819 checker.m_log_lemmas = false; in check_lemma()935 if (learned && m_log_lemmas) { in mk_clause()