Searched refs:use_drat (Results 1 – 8 of 8) sorted by relevance
72 if (!use_drat()) in drat_bool_def()103 if (!use_drat()) in log_antecedents()
128 if (use_drat()) in add_solver()217 if (!probing && use_drat()) in get_antecedents()
310 bool use_drat() { return s().get_config().m_drat && (init_drat(), true); } in use_drat() function
337 if (!probing && ctx.use_drat()) in get_antecedents()
90 if (!use_drat()) in drat_bool_def()121 if (!use_drat()) in log_antecedents()
138 if (use_drat()) in add_solver()228 if (!probing && use_drat()) in get_antecedents()
334 bool use_drat() { return s().get_config().m_drat && (init_drat(), true); } in use_drat() function
344 if (!probing && ctx.use_drat()) in get_antecedents()