Searched refs:record_ternary_theory_conflict (Results 1 – 2 of 2) sorted by relevance
1856 extern void record_ternary_theory_conflict(smt_core_t *s, literal_t l1, literal_t l2, literal_t l3);
2532 void record_ternary_theory_conflict(smt_core_t *s, literal_t l1, literal_t l2, literal_t l3) { in record_ternary_theory_conflict() function