Searched refs:record_unit_theory_conflict (Results 1 – 2 of 2) sorted by relevance
1854 extern void record_unit_theory_conflict(smt_core_t *s, literal_t l);
2519 void record_unit_theory_conflict(smt_core_t *s, literal_t l) { in record_unit_theory_conflict() function